mypy: zulip_botserver: Fix errors in zulip_botserver/server.py.
This commit is contained in:
parent
81205ea813
commit
ed51cabf1b
|
@ -20,10 +20,7 @@ sys.path.append(os.path.dirname(TOOLS_DIR))
|
||||||
|
|
||||||
exclude = """
|
exclude = """
|
||||||
zulip/integrations/perforce/git_p4.py
|
zulip/integrations/perforce/git_p4.py
|
||||||
|
|
||||||
zulip_bots/zulip_bots/bots
|
zulip_bots/zulip_bots/bots
|
||||||
|
|
||||||
zulip_botserver/zulip_botserver/server.py
|
|
||||||
zulip_botserver/setup.py
|
zulip_botserver/setup.py
|
||||||
""".split()
|
""".split()
|
||||||
|
|
||||||
|
|
|
@ -84,7 +84,7 @@ def handle_bot(bot):
|
||||||
return json.dumps("")
|
return json.dumps("")
|
||||||
|
|
||||||
def parse_args():
|
def parse_args():
|
||||||
# type: () -> Tuple[Any]
|
# type: () -> argparse.Namespace
|
||||||
usage = '''
|
usage = '''
|
||||||
zulip-bot-server --config-file <path to flaskbotrc> --hostname <address> --port <port>
|
zulip-bot-server --config-file <path to flaskbotrc> --hostname <address> --port <port>
|
||||||
Example: zulip-bot-server --config-file ~/flaskbotrc
|
Example: zulip-bot-server --config-file ~/flaskbotrc
|
||||||
|
|
Loading…
Reference in a new issue