From f23bfe91c0ca25eb299172215ab614321d3dda47 Mon Sep 17 00:00:00 2001
From: Anders Kaseorg <anders@zulip.com>
Date: Mon, 21 Mar 2022 19:58:30 -0700
Subject: [PATCH] run-dev: Fix types.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
---
 tools/run-dev.py | 24 ++++++++++++++----------
 1 file changed, 14 insertions(+), 10 deletions(-)

diff --git a/tools/run-dev.py b/tools/run-dev.py
index 80f2461177..a313680cb0 100755
--- a/tools/run-dev.py
+++ b/tools/run-dev.py
@@ -6,7 +6,7 @@ import pwd
 import signal
 import subprocess
 import sys
-from typing import Any, List, Sequence
+from typing import List, Sequence
 from urllib.parse import urlunparse
 
 TOOLS_DIR = os.path.dirname(os.path.abspath(__file__))
@@ -238,7 +238,7 @@ class BaseHandler(web.RequestHandler):
     def delete(self) -> None:
         pass
 
-    def handle_response(self, response: Any) -> None:
+    def handle_response(self, response: httpclient.HTTPResponse) -> None:
         if response.error and not isinstance(response.error, httpclient.HTTPError):
             self.set_status(500)
             self.write("Internal server error:\n" + str(response.error))
@@ -255,6 +255,8 @@ class BaseHandler(web.RequestHandler):
         self.finish()
 
     async def prepare(self) -> None:
+        assert self.request.method is not None
+        assert self.request.remote_ip is not None
         if "X-REAL-IP" not in self.request.headers:
             self.request.headers["X-REAL-IP"] = self.request.remote_ip
         if "X-FORWARDED_PORT" not in self.request.headers:
@@ -305,15 +307,17 @@ class TornadoHandler(BaseHandler):
 
 class Application(web.Application):
     def __init__(self, enable_logging: bool = False) -> None:
-        handlers = [
-            (r"/json/events.*", TornadoHandler),
-            (r"/api/v1/events.*", TornadoHandler),
-            (r"/webpack.*", WebPackHandler),
-            (r"/.*", DjangoHandler),
-        ]
-        super().__init__(handlers, enable_logging=enable_logging)
+        super().__init__(
+            [
+                (r"/json/events.*", TornadoHandler),
+                (r"/api/v1/events.*", TornadoHandler),
+                (r"/webpack.*", WebPackHandler),
+                (r"/.*", DjangoHandler),
+            ],
+            enable_logging=enable_logging,
+        )
 
-    def log_request(self, handler: BaseHandler) -> None:
+    def log_request(self, handler: web.RequestHandler) -> None:
         if self.settings["enable_logging"]:
             super().log_request(handler)