18 |
|
|
19 |
set -e |
set -e |
20 |
|
|
21 |
function shutdown() { |
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 |
} |
} |
25 |
|
|
26 |
function shutdown_perl() { |
shutdown_perl() { |
27 |
wget -q -O- --post-data= http://127.0.0.1:8000/perl-shutdown > /dev/null |
wget -q -O- --post-data= http://127.0.0.1:8000/perl-shutdown > /dev/null |
28 |
wait $origin_server_pid |
wait $origin_server_pid |
29 |
} |
} |
30 |
|
|
31 |
function cleanup() { |
cleanup() { |
32 |
shutdown |
shutdown |
33 |
shutdown_perl |
shutdown_perl |
34 |
} |
} |