mirror of
https://github.com/zulip/zulip.git
synced 2025-10-23 04:52:12 +00:00
‘exit’ is pulled in for the interactive interpreter as a side effect of the site module; this can be disabled with python -S and shouldn’t be relied on. Also, use the NoReturn type where appropriate. Signed-off-by: Anders Kaseorg <anders@zulip.com>