X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=unixsocketwatcher.ml;h=7663be93f8c9512072df23a0d65fd42d09841d81;hb=0a4a3a68d48188e50ae321557f4527a8dffaf73a;hp=fa46e6944d1d3099734a8ef6038d36d94eea5989;hpb=53ed44a9a595920a838e8646088a302db1048b53;p=vsys.git diff --git a/unixsocketwatcher.ml b/unixsocketwatcher.ml index fa46e69..7663be9 100644 --- a/unixsocketwatcher.ml +++ b/unixsocketwatcher.ml @@ -13,6 +13,8 @@ open Globals open Fdwatcher open Printf +exception Exec_failed + let close_if_open fd = (try (ignore(close fd);) with _ -> ()) type control_path_name = string @@ -37,7 +39,7 @@ let receive_event (listening_socket_spec:fname_and_fd) (_:fname_and_fd) = |None -> logprint "Received unexpected socket event\n";() |Some (execpath, slice_name) -> begin - let child = fork () in + let child = try fork () with _ -> -1 in if (child == 0) then begin (* Child *) @@ -46,13 +48,17 @@ let receive_event (listening_socket_spec:fname_and_fd) (_:fname_and_fd) = let _ = (* Close fds *) for i = 3 to 1023 do - if (i != fd) then close_if_open(i) + if (i != fd) then close_if_open(Obj.magic i) done; - execv execpath [|execpath;slice_name;sprintf "%d" fd|] (*with + execv execpath [|execpath;slice_name;sprintf "%d" fd|]; + raise Exec_failed + (*with Unix_error(num,str1,str2)->logprint "Error %d: %s (%s)" (Obj.magic num) str1 str2;raise (Unix_error(num,str1,str2))*) in logprint "Could not execve %s" execpath end + else + close_if_open(data_socket) end | None -> () with e-> logprint "Error accepting socket\n"