X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=frontend.ml;h=39467369ab385c5ad57ab7e42ab0078d6d27e3b2;hb=87c0dc3957634fe643267904d0cedfed80a03f68;hp=7cc0c1620eb6a185ff33f59338568ce9485688ed;hpb=8e8e13b87b5d592621be0a15a19b5ea0a1fad0b5;p=vsys.git

diff --git a/frontend.ml b/frontend.ml
index 7cc0c16..3946736 100644
--- a/frontend.ml
+++ b/frontend.ml
@@ -41,8 +41,8 @@ object(this)
                 end
               else if (s.st_perm <> perm) then
                 begin
-                        printf "Removing directory %s\n" fqp;
-                        flush Pervasives.stdout;
+                        fprintf logfd "Removing directory %s\n" fqp;
+                        flush logfd;
                         Unix.rmdir fqp;
                         Unix.mkdir fqp perm
                 end
@@ -60,7 +60,7 @@ object(this)
         Unix.unlink fqp1;
         Unix.unlink fqp2
       with _ ->
-        printf "Hm. %s disappeared. Looks like slice %s shot itself in the foot\n" fqp1 (this#get_slice_name ());flush Pervasives.stdout
+        fprintf logfd "Hm. %s disappeared. Looks like slice %s shot itself in the foot\n" fqp1 (this#get_slice_name ());flush logfd
 
   method rmdir rp =
     match rp with Relpath(rel) ->
@@ -68,5 +68,5 @@ object(this)
       try
       Unix.rmdir fqp
       with _ ->
-        printf "Hm. %s disappeared. Looks like slice %s shot itself in the foot\n" fqp (this#get_slice_name ());flush Pervasives.stdout
+        fprintf logfd "Hm. %s disappeared. Looks like slice %s shot itself in the foot\n" fqp (this#get_slice_name ());flush logfd
 end