mirror of
https://github.com/zulip/zulip.git
synced 2026-06-24 21:08:25 +08:00
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 | ||