diff --git a/tools/run-mypy b/tools/run-mypy index 45a5ce2..03585c2 100755 --- a/tools/run-mypy +++ b/tools/run-mypy @@ -20,10 +20,7 @@ sys.path.append(os.path.dirname(TOOLS_DIR)) exclude = """ zulip/integrations/perforce/git_p4.py - zulip_bots/zulip_bots/bots - -zulip_botserver/zulip_botserver/server.py zulip_botserver/setup.py """.split() diff --git a/zulip_botserver/zulip_botserver/server.py b/zulip_botserver/zulip_botserver/server.py index 5fe6125..2fbaa5c 100644 --- a/zulip_botserver/zulip_botserver/server.py +++ b/zulip_botserver/zulip_botserver/server.py @@ -84,7 +84,7 @@ def handle_bot(bot): return json.dumps("") def parse_args(): - # type: () -> Tuple[Any] + # type: () -> argparse.Namespace usage = ''' zulip-bot-server --config-file --hostname
--port Example: zulip-bot-server --config-file ~/flaskbotrc