diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2015-02-04 11:36:05 +0100 |
|---|---|---|
| committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2015-02-04 11:36:05 +0100 |
| commit | ab97dd2c8d49e59b7fb623e1fe9606395a176187 (patch) | |
| tree | cf5434ff0b9eedfa7d6a830eb9d539f078e80d47 /lib/cThread.ml | |
| parent | d82daa51c47db9e9fdc24af74fb18d55e4adbc57 (diff) | |
CThread: workaround for threads lockup on windwos made more aggressive
Diffstat (limited to 'lib/cThread.ml')
| -rw-r--r-- | lib/cThread.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/cThread.ml b/lib/cThread.ml index 55bb6fd6d..84e5ae4fe 100644 --- a/lib/cThread.ml +++ b/lib/cThread.ml @@ -22,7 +22,7 @@ let thread_friendly_read_fd fd s ~off ~len = let rec loop () = try Unix.read fd s off len with Unix.Unix_error((Unix.EWOULDBLOCK|Unix.EAGAIN|Unix.EINTR),_,_) -> - while not (safe_wait_timed_read fd 1.0) do Thread.yield () done; + while not (safe_wait_timed_read fd 0.05) do Thread.yield () done; loop () in loop () |