From 69f6cfb77773d46833be8a4040114545d07f8535 Mon Sep 17 00:00:00 2001 From: EuAndreh Date: Thu, 30 Mar 2023 18:51:34 -0300 Subject: git-post-receive.sh: Include PID on syslogd entry --- src/infrastructure/ci/git-post-receive.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/infrastructure/ci/git-post-receive.sh b/src/infrastructure/ci/git-post-receive.sh index 9dc05e7..ea2dfcb 100755 --- a/src/infrastructure/ci/git-post-receive.sh +++ b/src/infrastructure/ci/git-post-receive.sh @@ -147,7 +147,7 @@ mkdtemp() { "$DIR"/ "$HTML_OUTDIR_CI"/ rm -rf "$DIR" printf 'Git CI HTML report for %s generated.\n' "$SHA" >&2 - } 2>&1 | logger -p local0.warn -t git-ci 1>/dev/null 2>&1 & + } 2>&1 | logger -i -p local0.warn -t git-ci 1>/dev/null 2>&1 & } trap finish EXIT -- cgit v1.2.3