29 |
shutdown |
shutdown |
30 |
if [ "$origin_server_pid" != "" ] |
if [ "$origin_server_pid" != "" ] |
31 |
then |
then |
32 |
kill $origin_server_pid |
kill -9 $origin_server_pid |
33 |
fi |
fi |
34 |
} |
} |
35 |
|
|
69 |
shutdown |
shutdown |
70 |
|
|
71 |
cd recursive |
cd recursive |
72 |
python ../POSTServer.py > /dev/null 2> /dev/null & |
perl ../server.pl > /dev/null 2> /dev/null & |
73 |
origin_server_pid=$! |
origin_server_pid=$! |
74 |
cd .. |
cd .. |
75 |
|
|
112 |
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 |
113 |
js json-cmp.js store-bad-source-urls.expected.json DIR/jscoverage.json |
js json-cmp.js store-bad-source-urls.expected.json DIR/jscoverage.json |
114 |
sort ERR -o ERR |
sort ERR -o ERR |
115 |
diff store-bad-source-urls.expected.err ERR |
diff --strip-trailing-cr store-bad-source-urls.expected.err ERR |
116 |
|
|
117 |
shutdown |
shutdown |
118 |
|
|
128 |
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 |
129 |
js json-cmp.js store-unreachable-source-urls.expected.json DIR/jscoverage.json |
js json-cmp.js store-unreachable-source-urls.expected.json DIR/jscoverage.json |
130 |
sort ERR -o ERR |
sort ERR -o ERR |
131 |
diff store-unreachable-source-urls.expected.err ERR |
diff --strip-trailing-cr store-unreachable-source-urls.expected.err ERR |