K 10
svn:author
V 3
vas
K 8
svn:date
V 27
2001-08-18T14:41:26.000000Z
K 7
svn:log
V 141
When stdin is closed in the server we no longer quit but merely ignore
stdin. This fixes the early server quit bug in civserver.freeciv.org.

END