![]() It's generally best to first try killing with SIGTERM, and if we fail to kill the child, we'll end up trying to kill them with SIGKILL anyway when the new zephyr_mirror process starts up, (imported from commit cfee2dd5f809f6e38d90a09be82719a8660d8377) |
||
---|---|---|
bots | ||
examples | ||
__init__.py | ||
common.py |