From 995dc333349ec9c18c5d137efaef9e66c193d953 Mon Sep 17 00:00:00 2001 From: Alena Volkova Date: Tue, 10 Oct 2017 00:28:04 -0400 Subject: [PATCH] mypy: zulip: Fix errors in integrations/irc/irc_mirror_backend.py. --- tools/run-mypy | 1 - zulip/integrations/irc/irc_mirror_backend.py | 1 + 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/run-mypy b/tools/run-mypy index cafb267..d31e0fb 100755 --- a/tools/run-mypy +++ b/tools/run-mypy @@ -19,7 +19,6 @@ os.chdir(os.path.dirname(TOOLS_DIR)) sys.path.append(os.path.dirname(TOOLS_DIR)) exclude = """ -zulip/integrations/irc/irc_mirror_backend.py zulip/integrations/log2zulip/log2zulip zulip/integrations/perforce/zulip_perforce_config.py zulip/integrations/perforce/git_p4.py diff --git a/zulip/integrations/irc/irc_mirror_backend.py b/zulip/integrations/irc/irc_mirror_backend.py index 3a4cb36..8f9f2a4 100644 --- a/zulip/integrations/irc/irc_mirror_backend.py +++ b/zulip/integrations/irc/irc_mirror_backend.py @@ -1,6 +1,7 @@ import irc.bot import irc.strings from irc.client import ip_numstr_to_quad, ip_quad_to_numstr, Event, ServerConnection +from typing import Any, Dict IRC_DOMAIN = "irc.example.com"