3.09.1 updategcaml3090

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gcaml3090@8792 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

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 "@]@.";