| changeset 25565 | 33d30a53fae7 |
| parent 25554 | 082d97057e23 |
| child 25576 | ee11881606b7 |
| 25564:4ca31a3706a4 | 25565:33d30a53fae7 |
|---|---|
50 |
50 |
51 |
51 |
52 (* init *) |
52 (* init *) |
53 |
53 |
54 fun init () = |
54 fun init () = |
55 (Output.writeln_default ("ML_PID=" ^ string_of_pid (Posix.ProcEnv.getpid ())); |
55 (Output.writeln_default ("PID=" ^ string_of_pid (Posix.ProcEnv.getpid ())); |
56 setup_channels (); |
56 setup_channels (); |
57 Isar.secure_main ()); |
57 Isar.secure_main ()); |
58 |
58 |
59 end; |
59 end; |
60 |
60 |