git.pond.sub.org Git - eow/blob - run.sh

   1 #! /bin/sh
   2
   3 PATH=./empire/sbin:$PATH
   4
   5 emp_server -d & EMP_SERVER_PID=$!
   6 echo "EMP_SERVER_PID=$EMP_SERVER_PID"
   7 sleep 1
   8
   9 python runtests.py
  10
  11 kill $EMP_SERVER_PID