chiark / gitweb /
No need to print a trace when the user did a ^C
authorDaniel Martí <mvdan@mvdan.cc>
Thu, 3 Jul 2014 16:26:49 +0000 (18:26 +0200)
committerDaniel Martí <mvdan@mvdan.cc>
Thu, 3 Jul 2014 16:26:49 +0000 (18:26 +0200)
fdroid

diff --git a/fdroid b/fdroid
index 93a835794db69338afc74573c6c228021f83cfbc..288977b69dd29519796efbbb7af00e61a474560c 100755 (executable)
--- a/fdroid
+++ b/fdroid
@@ -95,6 +95,9 @@ def main():
         else:
             logging.critical(str(e))
         sys.exit(1)
         else:
             logging.critical(str(e))
         sys.exit(1)
+    except KeyboardInterrupt:
+        print('')
+        sys.exit(1)
     # These should only be unexpected crashes due to bugs in the code
     # str(e) often doesn't contain a reason, so just show the backtrace
     except Exception, e:
     # These should only be unexpected crashes due to bugs in the code
     # str(e) often doesn't contain a reason, so just show the backtrace
     except Exception, e: