Use a timer to avoid polling

[stockfish] / src / misc.h

diff --git a/src/misc.h b/src/misc.h
index 5a337e5200fabf532ee31ab649659e93dace2647..92b97461faee9e883b6fbc85adcd22c35d731212 100644 (file)
--- a/src/misc.h
+++ b/src/misc.h
@@ -22,13 +22,15 @@
 
 #include <fstream>
 #include <string>
+
+#include "lock.h"
 #include "types.h"
 
 extern const std::string engine_name();
 extern const std::string engine_authors();
 extern int get_system_time();
 extern int cpu_count();
-extern int input_available();
+extern void timed_wait(WaitCondition*, Lock*, int);
 extern void prefetch(char* addr);
 
 extern void dbg_hit_on(bool b);