K 10
svn:author
V 3
dwp
K 8
svn:date
V 27
2000-08-17T07:39:39.000000Z
K 7
svn:log
V 199
Minor changes:
- When client disconnects in pre-game, don't remove player if AI mode.
- In toggle_ai_player_direct(), don't check rates if is_new_game.
- Add a log message in server_remove_player().

END