diff options
| author | Enrico Tassi | 2019-01-21 13:46:31 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2019-01-22 18:03:18 +0100 |
| commit | 816d8e6723c7272f2df0ff9e614f8a0fe19f66c9 (patch) | |
| tree | 08547fb1a9ef780d2e7b56e99de17db3866f7b89 /lib/control.ml | |
| parent | 05e2222e04323d11429d659b415750cf40e2babd (diff) | |
[thread] protect threads against sigalrm
This makes the implementation of Timeout on unix more reliable
since only the main thread will receive the signal for
timeout.
Diffstat (limited to 'lib/control.ml')
| -rw-r--r-- | lib/control.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/control.ml b/lib/control.ml index e09068740d..ffb3584f1e 100644 --- a/lib/control.ml +++ b/lib/control.ml @@ -57,7 +57,7 @@ let windows_timeout n f x e = done in let init = Unix.gettimeofday () in - let _id = Thread.create thread init in + let _id = CThread.create thread init in try let res = f x in let () = killed := true in |