From: Yann Dirson <ydirson@free.fr>
Date: Sun, 9 Feb 2014 21:16:14 +0000 (+0100)
Subject: XBoard: declare feature sigint=0 to avoid getting killed by the GUI.
X-Git-Url: http://winboard.nl/cgi-bin?p=gnushogi.git;a=commitdiff_plain;h=d02e1cf96ece6b0c661e2b63b5e9dbede5e6fe09

XBoard: declare feature sigint=0 to avoid getting killed by the GUI.
---

diff --git a/gnushogi/commondsp.c b/gnushogi/commondsp.c
index 8fc4b32..c7940e3 100644
--- a/gnushogi/commondsp.c
+++ b/gnushogi/commondsp.c
@@ -1634,7 +1634,7 @@ InputCommand(char *command)
         }
         else if (strcmp(s, "protover") == 0)
         {
-            printf("feature myname=\"GNU %sShogi %s\" variants=\"%sshogi\" debug=1 setboard=0 done=1\n",
+            printf("feature myname=\"GNU %sShogi %s\" variants=\"%sshogi\" debug=1 setboard=0 sigint=0 done=1\n",
 #ifdef MINISHOGI
                                        "mini", PACKAGE_VERSION, "5x5+5_"
 #else