diff options
| author | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1997-03-23 15:22:30 +0000 |
|---|---|---|
| committer | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1997-03-23 15:22:30 +0000 |
| commit | f41d91f465c76db1658a0b297692ec1eca78d059 (patch) | |
| tree | b326dd7f0b0c0b7c6f3b8f2c42e9b704a61d2fce /debugger | |
| parent | fe9570c55eae951b7eb120129a8cf34373f983c9 (diff) | |
| download | ocaml-f41d91f465c76db1658a0b297692ec1eca78d059.tar.gz | |
Remis le print_string..., et affichage de "done" pas seulement pour
debugger (!).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1445 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'debugger')
| -rw-r--r-- | debugger/program_management.ml | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/debugger/program_management.ml b/debugger/program_management.ml index 767ba0b54b..59fec7c3a2 100644 --- a/debugger/program_management.ml +++ b/debugger/program_management.ml @@ -132,12 +132,12 @@ let initialize_loading () = (* Ensure the program is already loaded. *) let ensure_loaded () = if not !loaded then begin - print_endline "Loading program..."; + print_string "Loading program... "; flush Pervasives.stdout; if !program_name = "" then begin prerr_endline "No program specified."; raise Toplevel - end; + end; try initialize_loading(); !launching_func (); @@ -145,10 +145,9 @@ let ensure_loaded () = prerr_endline "Waiting for connection..."; main_loop (); loaded := true; - if !debug_loading then - prerr_endline "done." + prerr_endline "done." with x -> kill_program(); raise x - end + end |