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:])) |