| 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 f4792486bcd8a29288a1e55bc2d8318fe4c14b47..53e467f645416d7b602c89d96cdc73f79946b3ba 100644
|
| --- a/mojo/devtools/common/devtoolslib/shell_arguments.py
|
| +++ b/mojo/devtools/common/devtoolslib/shell_arguments.py
|
| @@ -159,7 +159,8 @@ def _configure_dev_server(shell, shell_args, dev_server_config):
|
| """
|
| server_url = shell.serve_local_directories(dev_server_config.mappings)
|
| shell_args.append('--map-origin=%s=%s' % (dev_server_config.host, server_url))
|
| - print "Configured %s locally to serve:" % (dev_server_config.host)
|
| + print "Configured %s locally at %s to serve:" % (dev_server_config.host,
|
| + server_url)
|
| for mapping_prefix, mapping_path in dev_server_config.mappings:
|
| print " /%s -> %s" % (mapping_prefix, mapping_path)
|
| return shell_args
|
|
|