X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=frontend.ml;h=ad36172c0087d9116c5087a2de2972ef4230e60d;hb=4eccf5deff6324957d0bf0799dee6decb8d5f05a;hp=ba5ca4d41a2b6b9974b2b524fee58d11c6ad5927;hpb=542f2c4d52a5a1113ba9017cb0ee70304393fac4;p=vsys.git

diff --git a/frontend.ml b/frontend.ml
index ba5ca4d..ad36172 100644
--- a/frontend.ml
+++ b/frontend.ml
@@ -61,7 +61,7 @@ object(this)
           Unix.unlink fqp_in;
           Unix.unlink fqp_out
         with _ ->
-          fprintf logfd "Hm. %s disappeared. Looks like slice %s shot itself in the foot\n" fqp (this#get_slice_name ());flush logfd
+          logprint "Hm. %s disappeared. Looks like slice %s shot itself in the foot\n" fqp (this#get_slice_name ())
 
   method rmdir rp =
     match rp with Relpath(rel) ->
@@ -70,7 +70,7 @@ object(this)
         try
           Unix.rmdir fqp
         with _ ->
-          fprintf logfd "Hm. %s disappeared or not empty. Looks like slice %s shot itself in the foot\n" fqp (this#get_slice_name ());flush logfd
+          logprint "Hm. %s disappeared or not empty. Looks like slice %s shot itself in the foot\n" fqp (this#get_slice_name ())
 
   initializer 
     (