Index: mojo/devtools/common/devtoolslib/linux_shell.py |
diff --git a/mojo/devtools/common/devtoolslib/linux_shell.py b/mojo/devtools/common/devtoolslib/linux_shell.py |
index a4a83a971a9a9fc3f4821305b9861b8076588b4c..95161e764fd90cd2fa930a028bfc1a5c81efbfcb 100644 |
--- a/mojo/devtools/common/devtoolslib/linux_shell.py |
+++ b/mojo/devtools/common/devtoolslib/linux_shell.py |
@@ -25,12 +25,12 @@ class LinuxShell(Shell): |
self.command_prefix = command_prefix if command_prefix else [] |
@overrides(Shell) |
- def serve_local_directory(self, local_dir_path, port=0): |
+ def serve_local_directory(self, local_dir_path, port=0, free_host_port=False): |
mappings = [('', [local_dir_path])] |
return 'http://%s:%d/' % http_server.start_http_server(mappings, port) |
@overrides(Shell) |
- def serve_local_directories(self, mappings, port=0): |
+ def serve_local_directories(self, mappings, port=0, free_host_port=False): |
return 'http://%s:%d/' % http_server.start_http_server(mappings, port) |
@overrides(Shell) |