[Freeciv-Dev] Re: (PR#11887) CivServer SIGINT Handler Patch

["Jason Short" <jdorje@xxxxxxxxxxxxxxxxxxxxx>]

<URL: http://bugs.freeciv.org/Ticket/Display.html?id=11887 >

I think instead of refusing to exit, the server should instead save the 
game and exit.  This should also work so that if the user reboots the 
machine, the game is saved before the server closes.  There was a patch 
for this many years ago (probably in the freeciv-dev archives now), but 
I guess it never got anywhere.

Also, if we're going to measure time we should use the code in timer.c. 
  Using time() isn't very accurate.

-jason