X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=main.ml;h=872dc5959adc02bac53fbd09b3b2ae6e74fe4a7f;hb=26326ab885a36f7e0661703b735109df36520b30;hp=0abccdbf6d9264c1d07856eb383e4c1d3c08bc20;hpb=acbdd1601fcfb161089d326e7e32b74b76f441e3;p=vsys.git diff --git a/main.ml b/main.ml index 0abccdb..872dc59 100644 --- a/main.ml +++ b/main.ml @@ -25,8 +25,8 @@ let cmdspeclist = ] let _ = - printf "Starting Vsys v%s\n" Globals.vsys_version;flush stdout; - fprintf logfd "Starting Vsys v%s\n" Globals.vsys_version;flush logfd; + logprint "Starting Vsys v%s\n" Globals.vsys_version; + print "Starting Vsys v%s\n" Globals.vsys_version; Arg.parse cmdspeclist (fun x->()) "Usage: vsys "; if (!Globals.backend == "") then printf "Try vsys --help\n" @@ -34,7 +34,7 @@ let _ = begin if (!daemonize) then begin - printf "Daemonizing\n";flush Pervasives.stdout; + print "Daemonizing\n"; let child = Unix.fork () in if (child <> 0) then begin @@ -56,8 +56,7 @@ let _ = let felst = List.map (fun lst->let (x,y)=lst in - fprintf logfd "Slice %s (%s)\n" x y; - flush logfd; + logprint "Slice %s (%s)\n" x y; new frontendHandler lst) !input_file_list in let _ = new backendHandler !Globals.backend felst in