diff options
author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2002-04-17 05:46:31 +0000 |
---|---|---|
committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2002-04-17 05:46:31 +0000 |
commit | b977b36be3c37745a84eea8cfd07106a1af30f69 (patch) | |
tree | 745514d5e727703a40301e17e241f34b7e5a3289 | |
parent | f7d144481f8a864e613d7f401c4e03e3ad05e81c (diff) |
cleanup
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4687 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | otherlibs/labltk/browser/shell.ml | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/otherlibs/labltk/browser/shell.ml b/otherlibs/labltk/browser/shell.ml index 63766ea12..87eaf8211 100644 --- a/otherlibs/labltk/browser/shell.ml +++ b/otherlibs/labltk/browser/shell.ml @@ -111,10 +111,8 @@ object (self) with Sys_error _ -> () method private read ~fd ~len = begin try - prerr_endline "reading..."; let buf = String.create len in let len = Unix.read fd ~buf ~pos:0 ~len in - prerr_endline "read"; if len > 0 then begin self#insert (String.sub buf ~pos:0 ~len); Text.mark_set textw ~mark:"input" ~index:(`Mark"insert",[`Char(-1)]) @@ -215,16 +213,12 @@ object (self) in read_buffer () end else begin - try () -(* - prerr_endline "add inputs..."; + try List.iter [in1;err1] ~f: begin fun fd -> Fileevent.add_fileinput ~fd ~callback:(fun () -> ignore (self#read ~fd ~len:1024)) - end; - prerr_endline "added" -*) + end with _ -> () end end |