Everyone sees the same server list. If their server doesn't show up on the list for you, then it doesn't show up for anyone else. Make sure that you are looking in the right place for it. If they changed the name, even a little, it could have moved to another spot on the list.
Otherwise, they will probably need to restart the server for it to show up on the list for everyone again.
|