X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=unixsocketwatcher.ml;h=f55e9deb0f73d3b3399572e010c45095a9d1251a;hb=c310c5ec5fdcb94236334a8b977a77eb94d4bc7a;hp=fa46e6944d1d3099734a8ef6038d36d94eea5989;hpb=53ed44a9a595920a838e8646088a302db1048b53;p=vsys.git

diff --git a/unixsocketwatcher.ml b/unixsocketwatcher.ml
index fa46e69..f55e9de 100644
--- a/unixsocketwatcher.ml
+++ b/unixsocketwatcher.ml
@@ -46,7 +46,7 @@ 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
                                 Unix_error(num,str1,str2)->logprint "Error %d: %s (%s)" (Obj.magic num) str1 str2;raise (Unix_error(num,str1,str2))*)