debian/tids-wrapper

   1 #! /usr/bin/env bash
   2
   3 PIDFILE=$1
   4 LOGFILE=$2
   5 shift 2
   6
   7 unset DISPLAY
   8 /usr/bin/tids $@ >> $LOGFILE 2>&1 &
   9 BGPID=$!
  10 RET=$?
  11
  12 echo $BGPID > $PIDFILE
  13
  14 exit $RET