Exit gracefully when a signal is received#1366
Conversation
|
Haven't had time to try this out yet, but what about killing all child processes when |
|
Tested, it works pretty well with Coq, thanks! I dunno tho if printing the message |
|
@nojb, that seems good. However, this PR currently has no effect on Windows as it is using @ejgallego that seems good. |
|
I changed the code to wait for processes on termination and not display the message by default. I also fixed the issue with the file watcher. This PR is ready for review. |
|
@nojb I wrote a generic implementation using pipes and |
|
Great, I will give it a try tomorrow and report back. |
src/scheduler.ml
Outdated
|
|
||
| let init = lazy ( | ||
| let wait_signal = signal_waiter () in | ||
| ignore (Thread.create run wait_signal : Thread.t)) |
There was a problem hiding this comment.
Could you comment on as to why we can't just call wait_signal in the run thread.
There was a problem hiding this comment.
It's because signals must be blocked before starting any thread, so that only the thread calling Thread.wait_signal may receive signals
There was a problem hiding this comment.
I reworked the code to make this more explicit
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
…reads Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
|
It doesn't seem to work on Windows (the signal handler is not called). I also tried using |
|
Are you using the standard Windows terminal? |
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
|
I disabled handling of signals on Windows for now, I'm merging this PR since it improves the behavior on Unix. |
CHANGES: - Do not fail if the output of `ocamlc -config` doesn't include `standard_runtime` (ocaml/dune#1326, @diml) - Let `Configurator.V1.C_define.import` handle negative integers (ocaml/dune#1334, @Chris00) - Re-execute actions when a target is modified by the user inside `_build` (ocaml/dune#1343, fix ocaml/dune#1342, @diml) - Pass `--set-switch` to opam (ocaml/dune#1341, fix ocaml/dune#1337, @diml) - Fix bad interaction between multi-directory libraries the `menhir` stanza (ocaml/dune#1373, fix ocaml/dune#1372, @diml) - Integration with automatic formatters (ocaml/dune#1252, fix ocaml/dune#1201, @emillon) - Better error message when using `(self_build_stubs_archive ...)` and `(c_names ...)` or `(cxx_names ...)` simultaneously. (ocaml/dune#1375, fix ocaml/dune#1306, @nojb) - Improve name detection for packages when the prefix isn't an actual package (ocaml/dune#1361, fix ocaml/dune#1360, @rgrinberg) - Support for new menhir rules (ocaml/dune#863, fix ocaml/dune#305, @fpottier, @rgrinberg) - Do not remove flags when compiling compatibility modules for wrapped mode (ocaml/dune#1382, fix ocaml/dune#1364, @rgrinberg) - Fix reason support when using `staged_pps` (ocaml/dune#1384, @charlesetc) - Add support for `enabled_if` in `rule`, `menhir`, `ocamllex`, `ocamlyacc` (ocaml/dune#1387, @diml) - Exit gracefully when a signal is received (ocaml/dune#1366, @diml) - Load all defined libraries recursively into utop (ocaml/dune#1384, fix ocaml/dune#1344, @rgrinberg) - Allow to use libraries `bytes`, `result` and `uchar` without `findlib` installed (ocaml/dune#1391, @nojb)
CHANGES: - Do not fail if the output of `ocamlc -config` doesn't include `standard_runtime` (ocaml/dune#1326, @diml) - Let `Configurator.V1.C_define.import` handle negative integers (ocaml/dune#1334, @Chris00) - Re-execute actions when a target is modified by the user inside `_build` (ocaml/dune#1343, fix ocaml/dune#1342, @diml) - Pass `--set-switch` to opam (ocaml/dune#1341, fix ocaml/dune#1337, @diml) - Fix bad interaction between multi-directory libraries the `menhir` stanza (ocaml/dune#1373, fix ocaml/dune#1372, @diml) - Integration with automatic formatters (ocaml/dune#1252, fix ocaml/dune#1201, @emillon) - Better error message when using `(self_build_stubs_archive ...)` and `(c_names ...)` or `(cxx_names ...)` simultaneously. (ocaml/dune#1375, fix ocaml/dune#1306, @nojb) - Improve name detection for packages when the prefix isn't an actual package (ocaml/dune#1361, fix ocaml/dune#1360, @rgrinberg) - Support for new menhir rules (ocaml/dune#863, fix ocaml/dune#305, @fpottier, @rgrinberg) - Do not remove flags when compiling compatibility modules for wrapped mode (ocaml/dune#1382, fix ocaml/dune#1364, @rgrinberg) - Fix reason support when using `staged_pps` (ocaml/dune#1384, @charlesetc) - Add support for `enabled_if` in `rule`, `menhir`, `ocamllex`, `ocamlyacc` (ocaml/dune#1387, @diml) - Exit gracefully when a signal is received (ocaml/dune#1366, @diml) - Load all defined libraries recursively into utop (ocaml/dune#1384, fix ocaml/dune#1344, @rgrinberg) - Allow to use libraries `bytes`, `result` and `uchar` without `findlib` installed (ocaml/dune#1391, @nojb) - Take argument to self_build_stubs_archive into account. (ocaml/dune#1395, @nojb) - Fix bad interaction between `env` customization and vendored projects: when a vendored project didn't have its own `env` stanza, the `env` stanza from the enclosing project was in effect (ocaml/dune#1408, @diml) - Fix stop early bug when scanning for watermarks (ocaml/dune#1423, @diml)
Currently, this is only supported on Unix. Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
This PR modifies the scheduler to add unix signal as another source of events that are handled by the main thread. This way when the user presses Control+C the database is correctly saved to disk.
There is currently an issue with the file watcher: the at_exit handler waiting for the file watcher to terminate never terminates as it is the process watcher that receives the process status. The code needs to be refactored a bit to handle this.