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..e73f5cf9005efe7c73cef8f90de696dc3f37bd19 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]) |
+ func_name = args[0] |
+ func = FuncMap.get(func_name) |
if not func: |
- print 'Do not recognize command: ' + args[0] |
+ print 'Do not recognize command: %s' % func_name |
print 'Available commands: %s' % ' '.join(FuncMap) |
return 1 |
- return func(args[1:]) |
+ try: |
+ return func(args[1:]) |
+ except KeyboardInterrupt: |
+ print '%s: interrupted' % func_name |
+ return 1 |
if __name__ == '__main__': |
sys.exit(main(sys.argv[1:])) |