Fixes segfault in gnushogi when asking for help.

[gnushogi.git] / gnushogi / rawdsp.c

diff --git a/gnushogi/rawdsp.c b/gnushogi/rawdsp.c
index 1f9e4b3..8d195ce 100644 (file)
--- a/gnushogi/rawdsp.c
+++ b/gnushogi/rawdsp.c
@@ -238,7 +238,7 @@ Raw_help(void)
 {
     Raw_ClearScreen();
     /* printf("SHOGI command summary\n"); */
-    printf(CP[40]);
+    printf(CP[40], version, patchlevel);
     printf("----------------------------------"
            "------------------------------\n");
     /* printf("7g7f      move from 7g to 7f      quit
@@ -311,8 +311,7 @@ Raw_help(void)
            TimeControl.moves[black], TimeControl.clock[black] / 100,
            TCadd/100, MaxSearchDepth);
 
-    signal(SIGINT, Raw_TerminateSearch);
-    signal(SIGQUIT, Raw_TerminateSearch);
+    signal(SIGUSR1, Raw_TerminateSearch);
 }
 
 
@@ -484,8 +483,7 @@ SetupBoard(void)
 void
 Raw_SearchStartStuff(short side)
 {
-    signal(SIGINT, Raw_TerminateSearch);
-    signal(SIGQUIT, Raw_TerminateSearch);
+    signal(SIGUSR1, Raw_TerminateSearch);
 
     if (flag.post)
     {