server bug

[verbosity]

Hi,

I've just noticed that sometimes the playerlist does not output all the pilots online, this seems to happen when a player leaves while other players are still online,shown as below on the server screen:

( I've missed some details, but its just to give the jist of how its shown on-screen)

Wavey,3,0,82,

Atear,0,0,39,
[SW]Eclipse,0,256,862,
Master,0,0,229,
jimmytheD.,0,0,0


on the server screen the 'line' the player is on goes empty, but the rest of the data is correct, but on the playerlist.txt file the last pilot is not listed.
Eg.

5,
Wavey,3,0,82,
Atear,0,0,39,
[SW]Eclipse,0,256,862,
Master,0,0,229,


I noticed the same earlier, - 2 pilots had left and the two pilots who had joined last were not showing up, since this has happened twice its seems to be repeatable. I can arrange remote access to the server for you to check it out if you wish......
edit
Confirmed, another pilot joined, 'filled' the empty slot, and the playerlist is reporting all the pilots once again

edit2
it also seems like the ship is not being reported properly, it looks like the reps are being reported ok, but I'll jump on later and check it out...

[Edited on 2-7-2009 by verbosity]