watchexec/cli/src
Félix Saparelli 446a8d95a7 Replace event queue with a priority queue (#302)
Solves several issues, generally through delivering signals before filesystem events, preventing situations where an overwhelming amount of events makes it impossible to quit.

Does _not_ solve the problem of a queue full of lower-priority events not accepting an urgent message, but that's a rarer issue that's more complicated to overcome.

Changes the Filterer trait: adds Priority to `check_event()`

Makes some events unfilterable (Urgent priority): SIGINT, SIGTERM, and CTRL_C to the main process. These still need to be handled by `on_action` to do anything, but cannot be stopped before reaching that.
2022-06-11 06:43:11 +00:00
..
config Add --env and --workdir options 2022-04-15 15:45:17 +12:00
filterer Replace event queue with a priority queue (#302) 2022-06-11 06:43:11 +00:00
args.rs Add --env and --workdir options 2022-04-15 15:45:17 +12:00
config.rs Split tagged and globset filterer in cli 2021-12-24 03:37:51 +13:00
filterer.rs Split tagged and globset filterer in cli 2021-12-24 03:37:51 +13:00
main.rs Replace event queue with a priority queue (#302) 2022-06-11 06:43:11 +00:00