Make UpdateClocks and input-polling dspwrappers-based too.

[gnushogi.git] / gnushogi / search.c

diff --git a/gnushogi/search.c b/gnushogi/search.c
index 2cfff17..35c968a 100644 (file)
--- a/gnushogi/search.c
+++ b/gnushogi/search.c
@@ -31,10 +31,6 @@
 
 #include "gnushogi.h"
 
-#if !defined OLDTIME && defined HAVE_GETTIMEOFDAY
-double pow(double x, double y);
-#endif
-
 short background = 0;
 static short DepthBeyond;
 unsigned short PrVar[MAXDEPTH];
@@ -176,6 +172,7 @@ SelectMove(short side, SelectMove_mode iop)
     }
     else
     {
+        background = false; /* [HGM] with ponder on we did not switch back to foreground mode??? */
         player = side;
         SetResponseTime(side);
     }