mirror of
https://git.launchpad.net/ubuntu-dev-tools
synced 2025-05-29 01:31:29 +00:00
sponsor-patch: Catch KeyboardInterrupt.
This commit is contained in:
parent
71a1bffba5
commit
8e30fddfae
@ -107,6 +107,9 @@ try:
|
|||||||
main(bug_number, options.build, builder, options.edit, options.keyid,
|
main(bug_number, options.build, builder, options.edit, options.keyid,
|
||||||
options.lpinstance, options.update, options.upload, workdir,
|
options.lpinstance, options.update, options.upload, workdir,
|
||||||
options.verbose)
|
options.verbose)
|
||||||
|
except KeyboardInterrupt:
|
||||||
|
print "\nUser abort."
|
||||||
|
sys.exit(2)
|
||||||
finally:
|
finally:
|
||||||
if options.workdir is None:
|
if options.workdir is None:
|
||||||
shutil.rmtree(workdir)
|
shutil.rmtree(workdir)
|
||||||
|
Loading…
x
Reference in New Issue
Block a user