| Index: mojo/devtools/common/mojo_run
|
| diff --git a/mojo/devtools/common/mojo_run b/mojo/devtools/common/mojo_run
|
| index f7d30df77c9260e8181b560446db4a0e505af40d..efecd9bf5dd9ff3218e7a01ed9362081d238b762 100755
|
| --- a/mojo/devtools/common/mojo_run
|
| +++ b/mojo/devtools/common/mojo_run
|
| @@ -65,11 +65,11 @@ def main():
|
| _DEFAULT_WINDOW_MANAGER)
|
|
|
| script_args, shell_args = parser.parse_known_args()
|
| - config = shell_config.get_shell_config(script_args)
|
|
|
| try:
|
| + config = shell_config.get_shell_config(script_args)
|
| shell, shell_args = shell_arguments.get_shell(config, shell_args)
|
| - except shell_arguments.ShellConfigurationException as e:
|
| + except shell_config.ShellConfigurationException as e:
|
| print e
|
| return 1
|
|
|
|
|