run-dev: Fix overwritten manage_args variable with the wrong type.

timabbott · timabbott · commit eee36618fe29 · 2016-02-03T19:25:18.000-08:00
manage_args is set to a list of arguments a few lines later in the
function, making this initialization as the empty string useless and
confusing.

Discovered using mypy.
diff --git a/tools/run-dev.py b/tools/run-dev.py
@@ -47,7 +47,6 @@ def patched_finish(self):
 (options, args) = parser.parse_args()
 
 base_port   = 9991
-manage_args = ''
 if options.test:
     base_port   = 9981
     settings_module = "zproject.test_settings"
