| Index: mojo/devtools/common/mojo_run
|
| diff --git a/mojo/devtools/common/mojo_run b/mojo/devtools/common/mojo_run
|
| index 1457fb2d712a3fc9bb51b57a6911bc6316e3f7d1..554eeabb90958991f40688c6fefce6611069e6af 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
|
|
|
|
|