exu
6716d5003b
This commit adds handling of KeyboardInterrupts. For this purpose, a
signal handler is installed for all processes and a global variable
that calls further cleanup steps. Because processes are used, each
process receives the SIGINT. To properly stop and not just wait for
something to handle the SIGINT, each process raises a custom
`CleanupRequired` error and exits.
|
||
|---|---|---|
| .. | ||
| main.py | ||
| notes.md | ||
| requirements.txt | ||
| venv | ||