diff options
Diffstat (limited to 'otherlibs/threads/Tests/testsignal2.ml')
| -rw-r--r-- | otherlibs/threads/Tests/testsignal2.ml | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/otherlibs/threads/Tests/testsignal2.ml b/otherlibs/threads/Tests/testsignal2.ml deleted file mode 100644 index 1f7fc0f91c..0000000000 --- a/otherlibs/threads/Tests/testsignal2.ml +++ /dev/null @@ -1,10 +0,0 @@ -let print_message delay c = - while true do - print_char c; flush stdout; Thread.delay delay - done - -let _ = - let th1 = Thread.create (print_message 0.6666666666) 'a' in - let th2 = Thread.create (print_message 1.0) 'b' in - let s = Thread.wait_signal [Sys.sigint; Sys.sigterm] in - Printf.printf "Got signal %d, exiting...\n" s |