[Freeciv-Dev] Re: (PR#8807) Server doesn't start with broken ser script

["Jason Short" <jdorje@xxxxxxxxxxxxxxxxxxxxx>]

<URL: http://rt.freeciv.org/Ticket/Display.html?id=8807 >

Raimar Falke wrote:

> Solution 2: add a wrapper (sh -c) around the ser exec so that the
> script's exit doesn't exit the server process.

This doesn't help.  If the client were done right we'd want to exit the 
server process as soon as possible - the client will get an interrupt 
telling of the exit.  But as it is the client has no way to know whether 
the server has been run.

jason