jdorje: Fix several bugs when removing a player auto...

[email protected] Wed, 31 Aug 2005 20:01:01 -0700

Newsgroups	gmane.games.freeciv.cvs
Message-ID	<[email protected]>

This is an automated notification of a change to freeciv cvs, 
on Wed Aug 31 19:50:25 PDT 2005 = Thu Sep  1 02:50:25 2005 (GMT)
by Jason Dorje Short <[email protected]>

---- Files affected:

freeciv/server stdinhand.c

---- Log message:
      Tag: HEAD

Fix several bugs when removing a player automatically because of a /detach
command.

Patch by me in PR#12813.