27 |
shutdown |
shutdown |
28 |
if [ "$origin_server_pid" != "" ] |
if [ "$origin_server_pid" != "" ] |
29 |
then |
then |
30 |
kill $origin_server_pid |
kill -9 $origin_server_pid |
31 |
fi |
fi |
32 |
} |
} |
33 |
|
|
55 |
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 |
56 |
js json-cmp.js store-source-urls.expected.json DIR/jscoverage.json |
js json-cmp.js store-source-urls.expected.json DIR/jscoverage.json |
57 |
sort ERR -o ERR |
sort ERR -o ERR |
58 |
diff store-source-urls.expected.err ERR |
diff --strip-trailing-cr store-source-urls.expected.err ERR |