I’m looking to remove Traveler for one of my users. Is there anything special that needs to be done on the server side so it doesn’t recognize this user any more, or is it all done when I remove the Traveler software from my users mobile device?
There is nothing special that needs to be done. There is a small profile document stored in the mail database which can be removed with the tell traveler delete or tell traveler deleteprofile command. If you are removing the user from Traveler, just use the delete option because it will clean up the other meta-data that Traveler keeps in local databases; if not, Traveler will clean that up automatically after 30 days (by default) of inactivity for that user.