diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-01 13:35:31 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-01 13:35:31 +0100 |
commit | 09b89977df38f069b0f4ce16ff9d30e363d08709 (patch) | |
tree | 1961dce9c4ac59fa455c9720983feaaf1a1d7741 /infra | |
parent | 40fd506bc2fb6fb68a03a65d8cb16e84dd90e073 (diff) |
dgit-repos-policy-debian: Add a tiny bit of debugging output
No other change.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'infra')
-rwxr-xr-x | infra/dgit-repos-policy-debian | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/infra/dgit-repos-policy-debian b/infra/dgit-repos-policy-debian index f7e5e53..bc370d2 100755 --- a/infra/dgit-repos-policy-debian +++ b/infra/dgit-repos-policy-debian @@ -546,6 +546,7 @@ for (;;) { die unless defined $rcode; $poldbh->commit; + printdebug "poldbh commit\n"; }; last unless length $@; die $@ unless ref $@ eq $db_busy_exception; |