21 |
function shutdown() { |
function shutdown() { |
22 |
wget -q -O- --post-data= "http://127.0.0.1:${proxy_server_port}/jscoverage-shutdown" > /dev/null |
wget -q -O- --post-data= "http://127.0.0.1:${proxy_server_port}/jscoverage-shutdown" > /dev/null |
23 |
wait $proxy_server_pid |
wait $proxy_server_pid |
24 |
kill $python_server_pid |
} |
25 |
|
|
26 |
|
function shutdown_perl() { |
27 |
|
wget -q -O- --post-data= http://127.0.0.1:8000/perl-shutdown > /dev/null |
28 |
|
wait $origin_server_pid |
29 |
} |
} |
30 |
|
|
31 |
function cleanup() { |
function cleanup() { |
32 |
shutdown |
shutdown |
33 |
|
shutdown_perl |
34 |
} |
} |
35 |
|
|
36 |
trap 'cleanup' 0 1 2 3 15 |
trap 'cleanup' 0 1 2 3 15 |
45 |
fi |
fi |
46 |
|
|
47 |
cd recursive |
cd recursive |
48 |
python ../POSTServer.py > /dev/null 2> /dev/null & |
perl ../server.pl > /dev/null 2> /dev/null & |
49 |
python_server_pid=$! |
origin_server_pid=$! |
50 |
cd .. |
cd .. |
51 |
|
|
52 |
$VALGRIND jscoverage-server --proxy > OUT 2> ERR & |
$VALGRIND jscoverage-server --proxy > OUT 2> ERR & |