From 8caa976ca4c5dd4b399d02ebc198d3a9db1e7bdb Mon Sep 17 00:00:00 2001
From: Paul Buetow <paul@buetow.org>
Date: Mon, 3 Jan 2022 10:48:58 +0000
Subject: lock concurrent git commands. also log bash pid.

---
 lib/log.source.sh | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'lib/log.source.sh')

diff --git a/lib/log.source.sh b/lib/log.source.sh
index 56c6587..2feb119 100644
--- a/lib/log.source.sh
+++ b/lib/log.source.sh
@@ -5,17 +5,18 @@ log () {
 
     for message in "$@"; do
         echo "$message"
-    done | log::_pipe "$level"
+    done | log::_pipe "$level" $$
 }
 
 # Log a stream through a pipe.
 log::pipe () {
-    log::_pipe "$1"
+    log::_pipe "$1" $$
 }
 
 # Internal log implementation.
 log::_pipe () {
     local -r level="$1"; shift
+    local -r pid="$1"; shift
 
     if [[ "$level" == VERBOSE && -z "$LOG_VERBOSE" ]]; then
         return
@@ -25,6 +26,6 @@ log::_pipe () {
     local -r stamp=$($DATE +%Y%m%d-%H%M%S)
 
     while read -r line; do
-        echo "$level|$stamp|$callee|$line" >&2
+        echo "$level|$stamp|$pid|$callee|$line" >&2
     done
 }
-- 
cgit v1.2.3