Anonymous user
Execute a system command: Difference between revisions
m
→{{header|OCaml}}: typo
(→{{header|OCaml}}: a more complete version) |
m (→{{header|OCaml}}: typo) |
||
Line 444:
| Unix.WEXITED r -> Printf.eprintf "warning: the process terminated with exit code (%d)\n%!" r
| Unix.WSIGNALED n -> Printf.eprintf "warning: the process was killed by a signal (number: %d)\n%!" n
| Unix.WSTOPPED n -> Printf.eprintf "warning: the process was stopped by a signal (number: %d)\n%!" n
;;
|