add pid to log

diff --git a/dist.sh b/dist.sh
index 4c4fae5..464920f 100755 (executable)
--- a/dist.sh
+++ b/dist.sh
@@ -1,6 +1,12 @@
 #!/bin/bash
 
 #!/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)
 
 parent=$(dirname $me)
 distname=$(basename $parent)
 

diff --git a/src/backend.py b/src/backend.py
index 81ceb52..446a303 100755 (executable)
--- a/src/backend.py
+++ b/src/backend.py
@@ -8,7 +8,8 @@ import ConfigParser
 DEBUG=0
 
 def log(msg):
 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)
 
 def write(*l):
     args=len(l)


@@ -24,6 +25,7 @@ def write(*l):
     sys.stdout.write('\n')
     sys.stdout.flush()
 
     sys.stdout.write('\n')
     sys.stdout.flush()
 

+

 def get_next():
     if DEBUG: log('reading now')
     l = sys.stdin.readline()
 def get_next():
     if DEBUG: log('reading now')
     l = sys.stdin.readline()