From e68de395a4454286deaa10818a9be7f8d3ab1d3f Mon Sep 17 00:00:00 2001 From: "Kyle J. McKay" Date: Wed, 7 Feb 2018 21:17:50 -0800 Subject: [PATCH] mirrors: include timestamp in logs For both the initial clone and subsequent mirror updates include a "Date:" line in the log output. While the time should be somewhat apparent from surrounding context, having an explicit time stamp present helps to avoid ambiguity. Signed-off-by: Kyle J. McKay --- jobd/update.sh | 1 + taskd/clone.sh | 1 + 2 files changed, 2 insertions(+) diff --git a/jobd/update.sh b/jobd/update.sh index 7845c77..c51d302 100755 --- a/jobd/update.sh +++ b/jobd/update.sh @@ -160,6 +160,7 @@ bang_trap() { } bang echo "Project: $proj" +bang echo " Date: $(TZ=UTC date '+%Y-%m-%d %T UTC')" bang echo "" mail="$(config_get owner)" || : url="$(config_get baseurl)" || : diff --git a/taskd/clone.sh b/taskd/clone.sh index 70ceec5..fa15bbe 100755 --- a/taskd/clone.sh +++ b/taskd/clone.sh @@ -171,6 +171,7 @@ bang_reset trap "echo '@OVER@'; touch .clone_failed; send_clone_failed" EXIT echo "Project: $proj" +echo " Date: $(TZ=UTC date '+%Y-%m-%d %T UTC')" echo "" [ -n "$cfg_mirror" ] || { echo "Mirroring is disabled" >&2; exit 1; } url="$(config_get baseurl)" || : -- 2.11.4.GIT