diff options
| author | Jun FURUSE / 古瀬 淳 <jun.furuse@gmail.com> | 2008-01-28 05:29:20 +0000 |
|---|---|---|
| committer | Jun FURUSE / 古瀬 淳 <jun.furuse@gmail.com> | 2008-01-28 05:29:20 +0000 |
| commit | 3f4a98da0fbf8a87c674d6737d8c6cec7e8567e5 (patch) | |
| tree | f5aa13505824d708414ece1f00219b811315c44a /debugger/main.ml | |
| parent | 30f3fa2c5bc27f8c59930741aa1b6dd5a34a6b40 (diff) | |
| download | ocaml-gcaml3090.tar.gz | |
3.09.1 updategcaml3090
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gcaml3090@8792 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'debugger/main.ml')
| -rw-r--r-- | debugger/main.ml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/debugger/main.ml b/debugger/main.ml index 76426c6ec6..90f9e89842 100644 --- a/debugger/main.ml +++ b/debugger/main.ml @@ -111,7 +111,8 @@ let speclist = [ let main () = try - socket_name := "/tmp/camldebug" ^ (string_of_int (Unix.getpid ())); + socket_name := Filename.concat Filename.temp_dir_name + ("camldebug" ^ (string_of_int (Unix.getpid ()))); begin try Arg.parse speclist anonymous ""; Arg.usage speclist @@ -130,10 +131,10 @@ let main () = toplevel_loop (); (* Toplevel. *) kill_program (); exit 0 - with + with Toplevel -> exit 2 - | Env.Error e -> + | Env.Error e -> eprintf "Debugger [version %s] environment error:@ @[@;" Config.version; Env.report_error err_formatter e; eprintf "@]@."; |