summaryrefslogtreecommitdiff
path: root/infra/dgit-repos-server
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2019-07-06 18:13:26 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2019-07-07 11:18:16 +0100
commit95d51dc2e17f492d3c2061531282e23bda56cb10 (patch)
treecaf235be84186dff8e17a0be07a187b6c84270fd /infra/dgit-repos-server
parent8a1666a19adc3568afc7c8679f866a02bbd66ad9 (diff)
dgit-repos-server: tag2upload: log when we fail and email
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'infra/dgit-repos-server')
-rwxr-xr-xinfra/dgit-repos-server2
1 files changed, 1 insertions, 1 deletions
diff --git a/infra/dgit-repos-server b/infra/dgit-repos-server
index f1308da..c090f7d 100755
--- a/infra/dgit-repos-server
+++ b/infra/dgit-repos-server
@@ -1189,7 +1189,7 @@ END
-f$ENV{DGIT_DRS_EMAIL_NOREPLY} \\
<tagupl.email
END
- exit 0;
+ $quit->("failed, emailed");
}
open STDERR, ">&L" or die $!;