Correction to previous pull

Previous version did not properly remove a UserConnection from the server's list when they change servers.

This version also prevents duplicates from being placed in a server's list.