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 $origin_server_pid |
kill -9 $origin_server_pid |
25 |
} |
} |
26 |
|
|
27 |
function cleanup() { |
function cleanup() { |
50 |
|
|
51 |
echo 200 > EXPECTED |
echo 200 > EXPECTED |
52 |
! curl -f -w '%{http_code}\n' -x 127.0.0.1:8080 http://127.0.0.1:8000/index.html 2> /dev/null > ACTUAL |
! curl -f -w '%{http_code}\n' -x 127.0.0.1:8080 http://127.0.0.1:8000/index.html 2> /dev/null > ACTUAL |
53 |
diff EXPECTED ACTUAL |
diff --strip-trailing-cr EXPECTED ACTUAL |
54 |
diff proxy-bad-response-body.expected.err ERR |
diff --strip-trailing-cr proxy-bad-response-body.expected.err ERR |