From d02e1cf96ece6b0c661e2b63b5e9dbede5e6fe09 Mon Sep 17 00:00:00 2001 From: Yann Dirson Date: Sun, 9 Feb 2014 22:16:14 +0100 Subject: [PATCH] XBoard: declare feature sigint=0 to avoid getting killed by the GUI. --- gnushogi/commondsp.c | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) 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 -- 1.7.0.4