#5 Disconnects not reported correctly

[Ryan Daum]

For some reason (perhaps related to the same thing as
the lack of "I don't understand that") when a user
disconnects the reporting of that disconnect never
makes it through to other users in the room. Not sure
if #0.connected_players is updated correctly, either.

[Ryan Daum]

Logged In: YES
user_id=15747

This appears to be a core problem: $player.disconnect was
calling writelog, leading to a permissions fault before the
disconnection announcement.