#!/bin/sh

## We really need to pick a unique ephemeral port; start by just picking pid+1024
PORT=$(($$ + 1024))

echo "\n\nRun a HTTP server in the background on port " + $PORT
python scripts/dummy-web-server.py $PORT & echo $! > server.PID
sleep 1
echo "\n\nRun test-http.py:"
./python.manifest scripts/test-http.py 127.0.0.1 $PORT > OUTPUT1
wget -q http://127.0.0.1:$PORT/ -O OUTPUT2
diff -q OUTPUT1 OUTPUT2
kill `cat server.PID`
rm -f OUTPUT1 OUTPUT2 server.PID