| 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 8a0ec7f28d72259b1c09a9c82d5dfff5a71fd4e8..5fad2a1cee0e66af1dbda27fbb1224f16c0c9082 100644
|
| --- a/mojo/devtools/common/devtoolslib/linux_shell.py
|
| +++ b/mojo/devtools/common/devtoolslib/linux_shell.py
|
| @@ -25,7 +25,7 @@ class LinuxShell(Shell):
|
| self.command_prefix = command_prefix if command_prefix else []
|
|
|
| @overrides(Shell)
|
| - def serve_local_directories(self, mappings, port=0, reuse_servers=False):
|
| + def serve_local_directories(self, mappings, port, reuse_servers=False):
|
| if reuse_servers:
|
| assert port, 'Cannot reuse the server when |port| is 0.'
|
| server_address = ('127.0.0.1', port)
|
|
|