diff options
Diffstat (limited to 'otherlibs/labltk/browser/shell.ml')
| -rw-r--r-- | otherlibs/labltk/browser/shell.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/browser/shell.ml b/otherlibs/labltk/browser/shell.ml index a0dcf2a05..b157a960d 100644 --- a/otherlibs/labltk/browser/shell.ml +++ b/otherlibs/labltk/browser/shell.ml @@ -196,7 +196,7 @@ object (self) let fileinput_thread fd = let buf = String.create 1024 in let len = ref 0 in - try while len := ThreadUnix.read fd ~buf ~pos:0 ~len:1024; !len > 0 do + try while len := Unix.read fd ~buf ~pos:0 ~len:1024; !len > 0 do Mutex.lock imutex; Buffer.add_substring ibuffer buf 0 !len; Mutex.unlock imutex |