diff options
| author | Marcello Stanisci <stanisci.m@gmail.com> | 2019-09-29 14:50:05 +0200 |
|---|---|---|
| committer | Marcello Stanisci <stanisci.m@gmail.com> | 2019-09-29 14:50:05 +0200 |
| commit | 6b2a84dfe154e5eb77af8b11c47d93ef61cdeb50 (patch) | |
| tree | 5ed01e6f82e175b680c8379166d65ba447039ec6 /src | |
| parent | 303e92ca40a4c8d235685e1b67264f2e76e9ee55 (diff) | |
Allow uWSGI to TERMinate on slower systems.
Diffstat (limited to 'src')
| -rwxr-xr-x | src/auditor/test-auditor.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/auditor/test-auditor.sh b/src/auditor/test-auditor.sh index d56497a9c..f2edf8299 100755 --- 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" |