diff options
Diffstat (limited to 'otherlibs/threads/Tests/testsignal.ml')
| -rw-r--r-- | otherlibs/threads/Tests/testsignal.ml | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/otherlibs/threads/Tests/testsignal.ml b/otherlibs/threads/Tests/testsignal.ml deleted file mode 100644 index 7781f3377b..0000000000 --- a/otherlibs/threads/Tests/testsignal.ml +++ /dev/null @@ -1,13 +0,0 @@ -let sighandler _ = - print_string "Got ctrl-C, exiting..."; print_newline(); - exit 0 - -let print_message delay c = - while true do - print_char c; flush stdout; Thread.delay delay - done - -let _ = - Sys.signal Sys.sigint (Sys.Signal_handle sighandler); - Thread.create (print_message 0.6666666666) 'a'; - print_message 1.0 'b' |