19 |
set -e |
set -e |
20 |
|
|
21 |
function cleanup() { |
function cleanup() { |
22 |
kill $python_server_pid |
kill -9 $origin_server_pid |
23 |
} |
} |
24 |
|
|
25 |
trap 'cleanup' 0 1 2 3 15 |
trap 'cleanup' 0 1 2 3 15 |
33 |
delay=2 |
delay=2 |
34 |
fi |
fi |
35 |
|
|
36 |
python POSTServer.py > OUT 2> ERR & |
perl server.pl > OUT 2> ERR & |
37 |
python_server_pid=$! |
origin_server_pid=$! |
38 |
|
|
39 |
sleep $delay |
sleep $delay |
40 |
|
|
41 |
$VALGRIND jscoverage-server --port 8000 --shutdown |
$VALGRIND jscoverage-server --port 8000 --shutdown |
42 |
cat ERR | cut -d'"' -f2 | diff server-shutdown.expected.err - |
cat ERR | cut -d'"' -f2 | diff --strip-trailing-cr server-shutdown.expected.err - |