X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=gnushogi%2Frawdsp.c;h=2109ca99da23433d6f20220d0dbb9614ad108d1f;hb=a7faec206e54cc6c635ca9789ac0940630f07c31;hp=7d172874bff72e540f7b56e9efe0dd866c8d9b4e;hpb=07e1a51683325ac9e9011a4c9d9802ba454721af;p=gnushogi.git

diff --git a/gnushogi/rawdsp.c b/gnushogi/rawdsp.c
index 7d17287..2109ca9 100644
--- a/gnushogi/rawdsp.c
+++ b/gnushogi/rawdsp.c
@@ -314,7 +314,8 @@ Raw_help(void)
            TimeControl.moves[black], TimeControl.clock[black] / 100,
            TCadd/100, MaxSearchDepth);
 
-    signal(SIGUSR1, Raw_TerminateSearch);
+    signal(SIGINT, Raw_TerminateSearch);
+    signal(SIGQUIT, Raw_TerminateSearch);
 }
 
 
@@ -486,7 +487,8 @@ SetupBoard(void)
 void
 Raw_SearchStartStuff(short side)
 {
-    signal(SIGUSR1, Raw_TerminateSearch);
+    signal(SIGINT, Raw_TerminateSearch);
+    signal(SIGQUIT, Raw_TerminateSearch);
 
     if (flag.post)
     {