diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-11-15 15:34:45 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-11-15 15:34:45 +0100 |
| commit | 50648ed2b741c21e64dcc3cb82b926f0b320338d (patch) | |
| tree | b8b2ada5091eb967fd5534cf5ce375cfb1afc57b /Changes | |
| parent | 9893e265d8791eea2f9c03055ef5c398296371aa (diff) | |
| download | ocaml-50648ed2b741c21e64dcc3cb82b926f0b320338d.tar.gz | |
PR#4023 and GPR#68: add Unix.sleepf and improve Unix.sleep
Unix.sleepf provides sleep with sub-second resolution.
Unix.sleep is implemented on top of Unix.sleepf.
If a handled signal causes the sleep to return early with an EINTR
error, catch it and restart the sleep for the remaining time.
Diffstat (limited to 'Changes')
| -rw-r--r-- | Changes | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -174,6 +174,12 @@ Toplevel and debugger: review by Gabriel Scherer and Jacques-Henri Jourdan) Other libraries: +- PR#4023 and GPR#68: add Unix.sleepf (sleep with sub-second resolution) + (Evgenii Lepikhin and Xavier Leroy) +* Protect Unix.sleep against interruptions by handled signals. + Before, a handled signal could cause Unix.sleep to return early. + Now, the sleep is restarted until the given time is elapsed. + (Xavier Leroy) - PR#6896: serious reimplementation of Big_int.float_of_big_int and Ratio.float_of_ratio, ensuring that the result is correctly rounded. (Xavier Leroy) |