X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=main.ml;h=7f91dbf967fa9f18cbacd8efd42a627eabea6100;hb=0a4a3a68d48188e50ae321557f4527a8dffaf73a;hp=43410aefa3069d509ca336ded44d1c5ad5c7ee63;hpb=fdbed71b4c056f920603808df94ac88bd3e20cab;p=vsys.git diff --git a/main.ml b/main.ml index 43410ae..7f91dbf 100644 --- a/main.ml +++ b/main.ml @@ -25,6 +25,10 @@ let cmdspeclist = ("-failsafe",Arg.Set(Globals.failsafe), "Never crash. Be stupid, but never crash. Use at your own risk."); ] +let sighup_handle s = + print "Received sighup. Running GC major pass"; + Gc.major () + let _ = Arg.parse cmdspeclist (fun x->()) "Usage: vsys "; Globals.logfd:=open_out_gen [Open_append;Open_creat] 0o644 !log_filepath; @@ -55,6 +59,8 @@ let _ = input_file_list:=List.concat [!input_file_list;frontends] end; + Sys.set_signal Sys.sigusr1 (Sys.Signal_handle sighup_handle); + let felst = List.map (fun lst->let (x,y)=lst in logprint "Slice %s (%s)\n" x y;