|None -> logprint "Received unexpected socket event\n";()
|Some (execpath, slice_name) ->
begin
|None -> logprint "Received unexpected socket event\n";()
|Some (execpath, slice_name) ->
begin
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
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