From a33c565ddca02127b1d2b2b803b758d349d39915 Mon Sep 17 00:00:00 2001 From: Tim Abbott Date: Fri, 29 Jul 2016 19:55:52 -0700 Subject: [PATCH] jabber_mirror: Add missing annotation. --- bots/jabber_mirror.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/bots/jabber_mirror.py b/bots/jabber_mirror.py index 2b7ef35..5fef11d 100755 --- a/bots/jabber_mirror.py +++ b/bots/jabber_mirror.py @@ -27,10 +27,13 @@ import subprocess import os import traceback import signal +from types import FrameType +from typing import Any from zulip import RandomExponentialBackoff 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) signal.signal(signal.SIGINT, die)