commit 6b2a84dfe154e5eb77af8b11c47d93ef61cdeb50
parent 303e92ca40a4c8d235685e1b67264f2e76e9ee55
Author: Marcello Stanisci <stanisci.m@gmail.com>
Date: Sun, 29 Sep 2019 14:50:05 +0200
Allow uWSGI to TERMinate on slower systems.
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/auditor/test-auditor.sh b/src/auditor/test-auditor.sh
@@ -84,7 +84,7 @@ function audit_only () {
# Cleanup to run after the auditor
function post_audit () {
kill -TERM `jobs -p` >/dev/null 2>/dev/null || true
-
+ sleep 1
echo -n "TeXing ."
../../contrib/render.py test-audit.json test-wire-audit.json < ../../contrib/auditor-report.tex.j2 > test-report.tex || exit_fail "Renderer failed"