25 |
|
|
26 |
function cleanup() { |
function cleanup() { |
27 |
shutdown |
shutdown |
28 |
kill $origin_server_pid |
kill -9 $origin_server_pid |
29 |
} |
} |
30 |
|
|
31 |
trap 'cleanup' 0 1 2 3 15 |
trap 'cleanup' 0 1 2 3 15 |
53 |
wget --post-file=TMP -q -O- -e 'http_proxy=http://127.0.0.1:8080/' http://127.0.0.1:8000/jscoverage-store > /dev/null |
wget --post-file=TMP -q -O- -e 'http_proxy=http://127.0.0.1:8080/' http://127.0.0.1:8000/jscoverage-store > /dev/null |
54 |
js json-cmp.js store-source-urls.expected.json DIR/jscoverage.json |
js json-cmp.js store-source-urls.expected.json DIR/jscoverage.json |
55 |
sort ERR -o ERR |
sort ERR -o ERR |
56 |
diff store-source-urls.expected.err ERR |
diff --strip-trailing-cr store-source-urls.expected.err ERR |