From 59b9628222309ef064fe4c099cbdd9175788eaa1 Mon Sep 17 00:00:00 2001
From: rs <rs@midearth.co.uk>
Date: Wed, 18 Dec 2013 20:56:13 +0000
Subject: [PATCH] add pid to log

---
 dist.sh        | 8 +++++++-
 src/backend.py | 4 +++-
 2 files changed, 10 insertions(+), 2 deletions(-)

diff --git a/dist.sh b/dist.sh
index 4c4fae5..464920f 100755
--- a/dist.sh
+++ b/dist.sh
@@ -1,6 +1,12 @@
 #!/bin/bash
 
-me=$(readlink -f $0)
+
+abspath=$(which abspath)
+if [ "$abspath" = "" ]; then
+    abspath="readlink -f"
+fi
+
+me=$($abspath $0)
 parent=$(dirname $me)
 distname=$(basename $parent)
 
diff --git a/src/backend.py b/src/backend.py
index 81ceb52..446a303 100755
--- a/src/backend.py
+++ b/src/backend.py
@@ -8,7 +8,8 @@ import ConfigParser
 DEBUG=0
 
 def log(msg):
-    sys.stderr.write('backend: %s\n' % msg)
+    sys.stderr.write('backend (%s): %s\n' % (os.getpid(), msg))
+
 
 def write(*l):
     args=len(l)
@@ -24,6 +25,7 @@ def write(*l):
     sys.stdout.write('\n')
     sys.stdout.flush()
 
+
 def get_next():
     if DEBUG: log('reading now')
     l = sys.stdin.readline()
-- 
2.20.1