From 53395fc66c8f16eacb4c84bb43ade7e730da0c6a Mon Sep 17 00:00:00 2001
From: malc <av1474@comtv.ru>
Date: Thu, 24 Jun 2010 21:18:51 +0400
Subject: [PATCH] Bump the select timeout

---
 main.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/main.ml b/main.ml
index bd97a81..35ce6ae 100644
--- a/main.ml
+++ b/main.ml
@@ -573,7 +573,7 @@ let idle () =
     Glut.postRedisplay ();
   )
   else
-    let r, _, _ = Unix.select [state.csock] [] [] 0.0001 in
+    let r, _, _ = Unix.select [state.csock] [] [] 0.001 in
 
     begin match r with
     | [] ->
-- 
2.11.4.GIT