X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=main.ml;h=907d65e60e63886bdcc06b6e5413cc079a5149c8;hb=e56b5ef0bbec1c22df1f8f82d4e75ec1785fc2ea;hp=872dc5959adc02bac53fbd09b3b2ae6e74fe4a7f;hpb=ae0378a578b7c73091fdc46769ba7a5971ef0939;p=vsys.git diff --git a/main.ml b/main.ml index 872dc59..907d65e 100644 --- a/main.ml +++ b/main.ml @@ -15,6 +15,7 @@ let cmdspeclist = [ ("-daemon",Arg.Set(daemonize), "Daemonize"); ("-conffile",Arg.Set_string(Globals.conffile), "Config file"); + ("-logfile",Arg.Set_string(Globals.log_filepath), "Log file"); ("-backend",Arg.Set_string(Globals.backend), "Backend directory"); ("-frontend",Arg.Tuple[Arg.String(fun s->cur_dir:=s); Arg.String(fun s->cur_slice:=s;