run-dev: Fix missing type annotation.

2017-03-17 21:02:53 -07:00 · 2017-03-17 21:02:53 -07:00 · ecea8c2d43
parent 623a486c5c
commit ecea8c2d43
1 changed files with 1 additions and 1 deletions
--- a/tools/run-dev.py
+++ b/tools/run-dev.py
@ -96,7 +96,7 @@ if options.interface is None:
 elif options.interface == "":
    options.interface = None

-runserver_args = []
+runserver_args = [] # type: List[str]
 base_port = 9991
 if options.test:
    base_port = 9981