git://git.onelab.eu
/
vsys.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
revert to plain 0.8
[vsys.git]
/
frontend.ml
diff --git
a/frontend.ml
b/frontend.ml
index
ba5ca4d
..
ad36172
100644
(file)
--- a/
frontend.ml
+++ b/
frontend.ml
@@
-61,7
+61,7
@@
object(this)
Unix.unlink fqp_in;
Unix.unlink fqp_out
with _ ->
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) ->
method rmdir rp =
match rp with Relpath(rel) ->
@@
-70,7
+70,7
@@
object(this)
try
Unix.rmdir fqp
with _ ->
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
(
initializer
(