summaryrefslogtreecommitdiffstats
path: root/otherlibs/labltk/browser/shell.ml
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2002-04-17 05:46:31 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2002-04-17 05:46:31 +0000
commitb977b36be3c37745a84eea8cfd07106a1af30f69 (patch)
tree745514d5e727703a40301e17e241f34b7e5a3289 /otherlibs/labltk/browser/shell.ml
parentf7d144481f8a864e613d7f401c4e03e3ad05e81c (diff)
cleanup
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4687 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/browser/shell.ml')
-rw-r--r--otherlibs/labltk/browser/shell.ml10
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