From: Marco Costalba <mcostalba@gmail.com>
Date: Tue, 11 Jan 2011 15:22:12 +0000 (+0100)
Subject: Set unbuffered I/O also for C standard library
X-Git-Url: http://winboard.nl/cgi-bin?a=commitdiff_plain;h=d4b92ae9a094e1b388e3d70789a0db9a9c69cbdf;p=fairystockfish.git

Set unbuffered I/O also for C standard library

In input_available() we use function select(), so
we have to set as unbuffered also C library I/O
functions otherwise we can miss some input.

For instance in case GUI sends "go infinite\nstop\n" we
parse the "go infinite" but then input_available() under Linux
is unable to detect that we still have "stop" to be processed.

This is because "select" uses file descriptors instead of file
pointers. So it cannot know about the buffer associated to a file
pointer.

This patch, by BB+, should fix the problem.

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
---

diff --git a/src/main.cpp b/src/main.cpp
index fa82115..0f7d0e7 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -25,6 +25,7 @@
 //// Includes
 ////
 
+#include <cstdio>
 #include <iostream>
 #include <string>
 
@@ -54,7 +55,9 @@ extern void benchmark(int argc, char* argv[]);
 
 int main(int argc, char* argv[]) {
 
-  // Disable IO buffering
+  // Disable IO buffering for C and C++ standard libraries
+  setvbuf(stdin, NULL, _IONBF, 0);
+  setvbuf(stdout, NULL, _IONBF, 0);
   cout.rdbuf()->pubsetbuf(NULL, 0);
   cin.rdbuf()->pubsetbuf(NULL, 0);