Browse Source

Noddy driver for ease of repeatable runs

typed
Tony Garnock-Jones 8 years ago
parent
commit
a50b9a594c
  1. 16
      drive.sh

16
drive.sh

@ -0,0 +1,16 @@
#!/bin/sh
racket new-server.rkt > drive-output.$(date '+%Y%m%d%H%M%S').txt 2>&1 &
serverpid=$!
echo "Serverpid is $serverpid"
while true
do
if netstat -an | grep -q '2322.*LISTEN'
then
break
fi
sleep 0.1
done
echo '(+ 1 2 3 4 5 6)' | ssh localhost -p 2322
sleep 1
kill -INT $serverpid
echo "Killed $serverpid"
Loading…
Cancel
Save