From: rs <rs@midearth.co.uk>
Date: Wed, 18 Dec 2013 20:56:13 +0000 (+0000)
Subject: add pid to log
X-Git-Url: https://xp-dev.com/git/nip.io/commitdiff_plain/59b9628222309ef064fe4c099cbdd9175788eaa1

add pid to log
---

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()