605 |
succeeded is the string token "Core started". *) |
succeeded is the string token "Core started". *) |
606 |
if not !keep_console_output then |
if not !keep_console_output then |
607 |
begin |
begin |
608 |
Pervasives.output_string Pervasives.stdout (Printf.sprintf "%sCore started\n" (log_time ())); |
try |
609 |
Pervasives.flush Pervasives.stdout; |
Printf.fprintf Pervasives.stderr "%sCore started\n" (log_time ()); |
610 |
|
Pervasives.flush Pervasives.stderr; |
611 |
|
with _ -> () |
612 |
end; |
end; |
613 |
|
|
614 |
lprintf_nl (_b "Core started"); |
lprintf_nl (_b "Core started"); |