X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=gnushogi%2Fcommondsp.c;h=c00338a7afe11adbfb92f409a2242293a69b847e;hb=20d40511cdff77e1ecb01ea28861403e125a7549;hp=31dc80e902482f6685178e276ead26383d443fd9;hpb=a7faec206e54cc6c635ca9789ac0940630f07c31;p=gnushogi.git

diff --git a/gnushogi/commondsp.c b/gnushogi/commondsp.c
index 31dc80e..c00338a 100644
--- a/gnushogi/commondsp.c
+++ b/gnushogi/commondsp.c
@@ -1745,8 +1745,8 @@ InputCommand(char *command)
             {
                 s[0] = sx[0] = '\0';
 
-                while(!sx[0])
-                    (void)fgets(sx, 80, stdin);
+                while(!eof && !sx[0])
+                    eof = (fgets(sx, 80, stdin) == NULL);
             }
             else
             {
@@ -2161,8 +2161,6 @@ InputCommand(char *command)
         printf("\n");
 #endif
     }
-
-    signal(SIGINT, TerminateSearch);
 }