Don't intercept INT and QUIT signals, and use USR1 instead of QUIT for

[gnushogi.git] / gnushogi / rawdsp.c

diff --git a/gnushogi/rawdsp.c b/gnushogi/rawdsp.c
index 1f9e4b3..fdc744a 100644 (file)
--- a/gnushogi/rawdsp.c
+++ b/gnushogi/rawdsp.c
@@ -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)
     {