567 |
|
|
568 |
let _ = |
let _ = |
569 |
let security_space_filename = "config_files_space.tmp" in |
let security_space_filename = "config_files_space.tmp" in |
|
|
|
|
lprintf_nl (_b "Core started"); |
|
|
core_included := true; |
|
|
|
|
570 |
begin |
begin |
571 |
(* Create a 'config_files_security_space' megabytes file to protect some space |
(* Create a 'config_files_security_space' megabytes file to protect some space |
572 |
for config files at the end. *) |
for config files at the end. *) |
592 |
exit 73; |
exit 73; |
593 |
end; |
end; |
594 |
Unix32.external_start (CommonGlobals.version()); |
Unix32.external_start (CommonGlobals.version()); |
595 |
|
|
596 |
|
(* When a core is spawned from a gui, the only way to know the startup has |
597 |
|
succeeded is the string token "Core started". *) |
598 |
|
if not !keep_console_output then |
599 |
|
begin |
600 |
|
Pervasives.output_string Pervasives.stdout (Printf.sprintf "%sCore started\n" (log_time ())); |
601 |
|
Pervasives.flush Pervasives.stdout; |
602 |
|
end; |
603 |
|
|
604 |
|
lprintf_nl (_b "Core started"); |
605 |
|
core_included := true; |
606 |
|
|
607 |
CommonGlobals.do_at_exit (fun _ -> |
CommonGlobals.do_at_exit (fun _ -> |
608 |
(* If we have an error with too many file-descriptors, |
(* If we have an error with too many file-descriptors, |
609 |
just close all of them *) |
just close all of them *) |