mirror of
https://git.launchpad.net/ubuntu-dev-tools
synced 2025-03-12 15:41:09 +00:00
pull-{lp,debian}-source, pull-debian-debdiff: Catch KeyboardInterrupt.
(LP: #713845)
This commit is contained in:
parent
9736ae4655
commit
6e485c2a7b
2
debian/changelog
vendored
2
debian/changelog
vendored
@ -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 <stefanor@debian.org> Sat, 05 Mar 2011 00:47:57 +0200
|
||||
|
||||
|
@ -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')
|
||||
|
@ -84,4 +84,7 @@ def main():
|
||||
srcpkg.unpack()
|
||||
|
||||
if __name__ == '__main__':
|
||||
main()
|
||||
try:
|
||||
main()
|
||||
except KeyboardInterrupt:
|
||||
Logger.normal('Aborting at user request')
|
||||
|
@ -101,4 +101,7 @@ def main():
|
||||
srcpkg.unpack()
|
||||
|
||||
if __name__ == '__main__':
|
||||
main()
|
||||
try:
|
||||
main()
|
||||
except KeyboardInterrupt:
|
||||
Logger.normal('Aborting at user request')
|
||||
|
Loading…
x
Reference in New Issue
Block a user