[Freeciv-Dev] Re: Ctrl-D in server (PR#936)

[Reinier Post <rp@xxxxxxxxxx>]

On Wed, Sep 05, 2001 at 12:06:07AM +0100, Vasco Alexandre Da Silva Costa wrote:

> I made a patch once that made it work "the UNIX way", but we run civserver
> in civserver.freeciv.org inside shell scripts kind of like this:
> 
> civserver < /dev/null > logfile 2>&1
> 
> If civserver works "the UNIX way" it will simply exit. If we don't ignore
> stdin the server can hangup. So closing stdin is a good option.

One option is to exit if stdin was open previously.

-- 
Reinier