Ne pas chercher le programme dans le path (PR#85)

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3153 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Damien Doligez 2000-05-08 18:13:36 +00:00
parent 42e3de582d
commit c3faabe473
1 changed files with 9 additions and 5 deletions

View File

@ -118,11 +118,15 @@ let ask_kill_program () =
let initialize_loading () =
if !debug_loading then
prerr_endline "Loading debugging informations...";
Symbols.read_symbols
(try search_in_path !program_name with
Not_found ->
prerr_endline "Program not found.";
raise Toplevel);
if Filename.is_relative !program_name then begin
program_name := Filename.concat (getcwd ()) !program_name;
end;
begin try access !program_name [F_OK]
with Unix_error _ ->
prerr_endline "Program not found.";
raise Toplevel;
end;
Symbols.read_symbols !program_name;
if !debug_loading then
prerr_endline "Opening a socket...";
open_connection !socket_name