Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(73)

Unified Diff: mojo/devtools/common/devtoolslib/shell_arguments.py

Issue 1305293003: Allow to set a fixed port for the development server. (Closed) Base URL: git@github.com:domokit/mojo.git@master
Patch Set: Address Tony's comments. Created 5 years, 4 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « no previous file | mojo/devtools/common/devtoolslib/shell_config.py » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: mojo/devtools/common/devtoolslib/shell_arguments.py
diff --git a/mojo/devtools/common/devtoolslib/shell_arguments.py b/mojo/devtools/common/devtoolslib/shell_arguments.py
index 53e467f645416d7b602c89d96cdc73f79946b3ba..7e46b01abd0e8e7e636007e3a8bfccdfa1b989a2 100644
--- a/mojo/devtools/common/devtoolslib/shell_arguments.py
+++ b/mojo/devtools/common/devtoolslib/shell_arguments.py
@@ -157,7 +157,9 @@ def _configure_dev_server(shell, shell_args, dev_server_config):
Returns:
The updated argument list.
"""
- server_url = shell.serve_local_directories(dev_server_config.mappings)
+ port = dev_server_config.port if dev_server_config.port else 0
+ server_url = shell.serve_local_directories(dev_server_config.mappings,
+ port=port)
shell_args.append('--map-origin=%s=%s' % (dev_server_config.host, server_url))
print "Configured %s locally at %s to serve:" % (dev_server_config.host,
server_url)
« no previous file with comments | « no previous file | mojo/devtools/common/devtoolslib/shell_config.py » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698