#!/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)
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)
sys.stdout.write('\n')
sys.stdout.flush()
+
def get_next():
if DEBUG: log('reading now')
l = sys.stdin.readline()