583 |
|
|
584 |
if Autoconf.system <> "windows" then |
if Autoconf.system <> "windows" then |
585 |
MlUnix.set_signal Sys.sighup |
MlUnix.set_signal Sys.sighup |
586 |
(Sys.Signal_handle (fun _ -> lprintf "SIGHUP"; |
(Sys.Signal_handle (fun _ -> |
587 |
|
CommonGlobals.print_localtime (); |
588 |
|
lprintf_nl "SIGHUP"; |
589 |
BasicSocket.close_all (); |
BasicSocket.close_all (); |
590 |
Unix32.close_all (); |
Unix32.close_all () |
591 |
CommonGlobals.print_localtime ();)); |
)); |
592 |
|
|
593 |
if Autoconf.system <> "windows" then |
if Autoconf.system <> "windows" then |
594 |
MlUnix.set_signal Sys.sigpipe |
MlUnix.set_signal Sys.sigpipe |
609 |
let _ = |
let _ = |
610 |
let security_space_filename = "config_files_space.tmp" in |
let security_space_filename = "config_files_space.tmp" in |
611 |
|
|
|
lprintf (_b "Core started"); |
|
|
core_included := true; |
|
612 |
CommonGlobals.print_localtime (); |
CommonGlobals.print_localtime (); |
613 |
|
lprintf_nl (_b "Core started"); |
614 |
|
core_included := true; |
615 |
|
|
616 |
begin |
begin |
617 |
(* Create a 'config_files_security_space' megabytes file to protect some space |
(* Create a 'config_files_security_space' megabytes file to protect some space |
652 |
DriverInteractive.save_config (); |
DriverInteractive.save_config (); |
653 |
CommonComplexOptions.save_sources (); |
CommonComplexOptions.save_sources (); |
654 |
|
|
655 |
lprintf (_b "Core stopped"); |
CommonGlobals.print_localtime (); |
656 |
CommonGlobals.print_localtime () |
lprintf_nl (_b "Core stopped") |
657 |
); |
); |
658 |
|
|
659 |
if not !keep_console_output then begin |
if not !keep_console_output then begin |