It sounds like the server is being displayed for him, but when people try to connect, it doesn't work. Without sv_public set as true, the game would not show the server in the list at all.