xenofem/python-zulip-api
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

jabber_mirror: Add missing annotation.

Browse source
This commit is contained in:
Tim Abbott 2016-07-29 19:55:52 -07:00
parent ad94b57e2f
commit a33c565ddc
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
bots/jabber_mirror.py
View file

@ -27,10 +27,13 @@ import subprocess
import os import os
import traceback import traceback
import signal import signal
from types import FrameType
from typing import Any
from zulip import RandomExponentialBackoff from zulip import RandomExponentialBackoff
def die(signal, frame): def die(signal, frame):
# We actually want to exit, so run os._exit (so as not to be caught and restarted) # type: (int, FrameType) -> None
"""We actually want to exit, so run os._exit (so as not to be caught and restarted)"""
os._exit(1) os._exit(1)
signal.signal(signal.SIGINT, die) signal.signal(signal.SIGINT, die)