[Freeciv-Dev] (PR#15085) SIGINT handling under GGZ

["Jason Short" <jdorje@xxxxxxxxxxxxxxxxxxxxx>]

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

When with_ggz is set, we want to exit after the first SIGINT.  The ggz 
server is nice and just sends a SIGINT when the program needs to be killed.

-jason

Index: server/civserver.c
===================================================================
--- server/civserver.c  (revision 11421)
+++ server/civserver.c  (working copy)
@@ -68,6 +68,9 @@
 {
   static struct timer *timer = NULL;
 
+  if (with_ggz) {
+    exit(EXIT_SUCCESS);
+  }
   if (timer && read_timer_seconds(timer) <= 1.0) {
     exit(EXIT_SUCCESS);
   } else if (!timer) {