mypy: zulip_botserver: Fix errors in zulip_botserver/server.py.
MODIFY
tools/run-mypy
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()

MODIFY
zulip_botserver/zulip_botserver/server.py
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 <path to flaskbotrc> --hostname <address> --port <port>
Example: zulip-bot-server --config-file ~/flaskbotrc

mypy: zulip_botserver: Fix errors in zulip_botserver/server.py.