Do not list servers twice when switching through serverlist sources