519 |
lprint_newline (); |
lprint_newline (); |
520 |
|
|
521 |
if Autoconf.system <> "windows" then |
if Autoconf.system <> "windows" then |
522 |
(* Doesn't work on windows with mingw, because getpid allways returns 948 *) |
(* Doesn't work on windows with mingw, because getpid always returns 948 *) |
523 |
( |
( |
524 |
let oc = open_out "mlnet.pid" in |
let oc = open_out "mlnet.pid" in |
525 |
output_string oc ( Printf.sprintf "%s\n" ( string_of_int ( Unix.getpid () ) ) ); |
output_string oc ( Printf.sprintf "%s\n" ( string_of_int ( Unix.getpid () ) ) ); |