From 67ab6edd56807ac0e0e0ae5f9ca7c5e6157602d2 Mon Sep 17 00:00:00 2001 From: Guido Günther Date: Thu, 10 Aug 2017 14:57:36 -0300 Subject: push: catch DebianSourceError exception --- gbp/scripts/push.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'gbp/scripts/push.py') diff --git a/gbp/scripts/push.py b/gbp/scripts/push.py index d74417d1..14e79a2a 100755 --- a/gbp/scripts/push.py +++ b/gbp/scripts/push.py @@ -23,6 +23,7 @@ import sys import gbp.log from gbp.config import GbpOptionParserDebian from gbp.deb.git import DebianGitRepository, GitRepositoryError +from gbp.deb.source import DebianSourceError from gbp.deb.source import DebianSource from gbp.errors import GbpError from gbp.scripts.common import ExitCodes @@ -156,7 +157,7 @@ def main(argv): to_push, dry_run=options.dryrun) retval = 0 - except (GbpError, GitRepositoryError) as err: + except (GbpError, GitRepositoryError, DebianSourceError) as err: if str(err): gbp.log.err(err) -- cgit v1.2.3