X-Git-Url: http://git.onelab.eu/?p=vsys.git;a=blobdiff_plain;f=globals.ml;h=ca475d71e2c39207acf4454c4d832defef00186c;hp=1506e01d7710779965ef2d393c200c33401619fa;hb=57622e7436de3e40f2dc56b17381eb0bfb18d23c;hpb=7ae75ecaa4e7772450202515acf892685ee6179e

diff --git a/globals.ml b/globals.ml
index 1506e01..ca475d7 100644
--- a/globals.ml
+++ b/globals.ml
@@ -10,6 +10,7 @@ let failsafe = ref false
 
 let logfd = open_out_gen [Open_append;Open_creat] 0o644 !log_filepath
 let logprint fmt = Printf.fprintf logfd (fmt ^^ "%!")
+let debprint fmt = if (!debug) then Printf.fprintf logfd (fmt ^^ "%!")
 let print fmt = Printf.printf (fmt ^^ "%!")
 
 type result = Success | Failed