18 |
|
|
19 |
set -e |
set -e |
20 |
|
|
21 |
function shutdown() { |
shutdown() { |
22 |
wget -q -O- --post-data= "http://127.0.0.1:${server_port}/jscoverage-shutdown" > /dev/null |
wget -q -O- --post-data= "http://127.0.0.1:${server_port}/jscoverage-shutdown" > /dev/null |
23 |
} |
} |
24 |
|
|
25 |
function cleanup() { |
cleanup() { |
26 |
shutdown |
shutdown |
27 |
} |
} |
28 |
|
|
52 |
sort server-directory-listing.expected -o EXPECTED |
sort server-directory-listing.expected -o EXPECTED |
53 |
wget -q -O- http://127.0.0.1:8080/ > ACTUAL |
wget -q -O- http://127.0.0.1:8080/ > ACTUAL |
54 |
sort ACTUAL -o ACTUAL |
sort ACTUAL -o ACTUAL |
55 |
diff EXPECTED ACTUAL |
diff --strip-trailing-cr EXPECTED ACTUAL |
56 |
|
|
57 |
rm -fr DIR |
rm -fr DIR |