From f15c3eb2a508cb9218631d03a960f049a57be95b Mon Sep 17 00:00:00 2001
From: LoopThrough-i-j <dganguly1120@gmail.com>
Date: Thu, 13 May 2021 02:35:17 +0530
Subject: [PATCH] botserver: Fix mypy error.

Value of type "Optional[Any]" is not indexable error
was originated in PR #682.
---
 zulip_botserver/zulip_botserver/server.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/zulip_botserver/zulip_botserver/server.py b/zulip_botserver/zulip_botserver/server.py
index 25a97d6c4..b7d85e7b3 100644
--- a/zulip_botserver/zulip_botserver/server.py
+++ b/zulip_botserver/zulip_botserver/server.py
@@ -169,6 +169,7 @@ def init_message_handlers(
 @app.route('/', methods=['POST'])
 def handle_bot() -> str:
     event = request.get_json(force=True)
+    assert event is not None
     for bot_name, config in bots_config.items():
         if config['email'] == event['bot_email']:
             bot = bot_name