From: Luca Falavigna Date: Wed, 15 May 2013 06:33:28 +0000 (+0000) Subject: Fix indentation X-Git-Url: https://err.no/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f3e7021c8a547b64f9d872197aa3279d7c6bf6b2;p=dak Fix indentation Signed-off-by: Luca Falavigna --- diff --git a/config/debian/dinstall.functions b/config/debian/dinstall.functions index 295fbb7f..63455405 100644 --- a/config/debian/dinstall.functions +++ b/config/debian/dinstall.functions @@ -627,9 +627,9 @@ function changelogs() { mkdir -p /srv/backports-master.debian.org/rsync/export/changelogs cd /srv/backports-master.debian.org/rsync/export/changelogs rsync -aHW --delete --delete-after --ignore-errors /srv/backports-master.debian.org/export/changelogs/. . + remove_changelog_lock trap remove_changelog_lock EXIT TERM HUP INT QUIT fi - remove_changelog_lock } function gitpdiff() {