From 6e485c2a7b3090507e5ff66ca12a5327d3ae2fef Mon Sep 17 00:00:00 2001 From: Stefano Rivera Date: Sun, 6 Mar 2011 01:04:22 +0200 Subject: [PATCH] pull-{lp,debian}-source, pull-debian-debdiff: Catch KeyboardInterrupt. (LP: #713845) --- debian/changelog | 2 ++ pull-debian-debdiff | 5 ++++- pull-debian-source | 5 ++++- pull-lp-source | 5 ++++- 4 files changed, 14 insertions(+), 3 deletions(-) diff --git a/debian/changelog b/debian/changelog index b4796e4..a54a79f 100644 --- a/debian/changelog +++ b/debian/changelog @@ -8,6 +8,8 @@ ubuntu-dev-tools (0.120) UNRELEASED; urgency=low - Canonicalise suites (use code-names) before passing them to rmadison. * pull-{lp,debian}-source: Download requested versions, as well as simply the latest version in a release. + * pull-{lp,debian}-source, pull-debian-debdiff: Catch KeyboardInterrupt. + (LP: #713845) -- Stefano Rivera Sat, 05 Mar 2011 00:47:57 +0200 diff --git a/pull-debian-debdiff b/pull-debian-debdiff index c1839fb..ab844d7 100755 --- a/pull-debian-debdiff +++ b/pull-debian-debdiff @@ -106,4 +106,7 @@ def main(): print 'file://' + oldpkg.debdiff(newpkg, diffstat=True) if __name__ == '__main__': - main() + try: + main() + except KeyboardInterrupt: + Logger.normal('Aborting at user request') diff --git a/pull-debian-source b/pull-debian-source index 578f020..3c28812 100755 --- a/pull-debian-source +++ b/pull-debian-source @@ -84,4 +84,7 @@ def main(): srcpkg.unpack() if __name__ == '__main__': - main() + try: + main() + except KeyboardInterrupt: + Logger.normal('Aborting at user request') diff --git a/pull-lp-source b/pull-lp-source index 789f8dd..77e5191 100755 --- a/pull-lp-source +++ b/pull-lp-source @@ -101,4 +101,7 @@ def main(): srcpkg.unpack() if __name__ == '__main__': - main() + try: + main() + except KeyboardInterrupt: + Logger.normal('Aborting at user request')