Chromium Code Reviews| Index: native_client_sdk/src/tools/oshelpers.py |
| diff --git a/native_client_sdk/src/tools/oshelpers.py b/native_client_sdk/src/tools/oshelpers.py |
| index 2ae8c4a2f3ce83f955584ea27152f3d67ca44811..b6e63ba8414e4339fc4d7be49943045063bc264e 100755 |
| --- a/native_client_sdk/src/tools/oshelpers.py |
| +++ b/native_client_sdk/src/tools/oshelpers.py |
| @@ -525,12 +525,17 @@ def main(args): |
| print 'No command specified' |
| print 'Available commands: %s' % ' '.join(FuncMap) |
| return 1 |
| - func = FuncMap.get(args[0]) |
| + funcName = args[0] |
|
binji
2013/05/24 19:13:04
func_name
Sam Clegg
2013/05/24 21:21:44
Done.
|
| + func = FuncMap.get(funcName) |
| if not func: |
| - print 'Do not recognize command: ' + args[0] |
| + print 'Do not recognize command: ' + funcName |
| print 'Available commands: %s' % ' '.join(FuncMap) |
| return 1 |
| - return func(args[1:]) |
| + try: |
| + return func(args[1:]) |
| + except KeyboardInterrupt: |
| + print '%s: interrupted' % funcName |
| + return 1 |
| if __name__ == '__main__': |
| sys.exit(main(sys.argv[1:])) |