Fix shown users after joining a battle

[FIr3baL]

ChrispyNut mentioned this here:
https://discord.com/channels/549281623154229250/549282587487502347/1138643874747785267

Sometimes you join a battle, but you either see no users at all or some are missing.
For me this happens randomly like for 1-2 months now.

@Teifion This could be reasoned by order of sent command messages to clients.
But i haven't look closer so far...

[TheSilverHornet]

I -tend- to find this occuring when server issues occur, typically alternating with what seems an alternate presentation of having a full lobby, but 'some players are unsynced' - who aren't visually present in the lobby. So you have to kick them, by manually typing their name, to clear the blockade. Deeply frustrating. Unsure if that helps or adds noise?

[FIr3baL]

This one needs some logs/screenshots.
I'd like to see

• infolog.txt when "Developer-settings.Debug Server Messages" was turned on before it occurs
• screenshot of the corresponding teiserver battle view (or output of $status )
• spads answer to "!status battle"

I guess teiserver and spads will show the correct playerlist and infolog.txt a warning like "user not known", which could happen, if the order of server messages is messed up.