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 |
wait $server_pid |
wait $server_pid |
24 |
} |
} |
25 |
|
|
26 |
function cleanup() { |
cleanup() { |
27 |
# rm -fr DIR |
# rm -fr DIR |
28 |
# kill $server_pid |
# kill $server_pid |
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 |
|
|
45 |
fi |
fi |
46 |
|
|
47 |
rm -fr DIR |
rm -fr DIR |
48 |
$VALGRIND jscoverage-server --document-root=recursive --report-dir=DIR & |
$VALGRIND jscoverage-server --no-highlight --document-root=recursive --report-dir=DIR & |
49 |
server_pid=$! |
server_pid=$! |
50 |
server_port=8080 |
server_port=8080 |
51 |
|
|
66 |
! curl -f -w '%{http_code}\n' http://127.0.0.1:8080/jscoverage-store 2> /dev/null > ACTUAL |
! curl -f -w '%{http_code}\n' http://127.0.0.1:8080/jscoverage-store 2> /dev/null > ACTUAL |
67 |
diff EXPECTED ACTUAL |
diff EXPECTED ACTUAL |
68 |
|
|
69 |
|
# try with a path |
70 |
|
cat store.json | sed "s/@PREFIX@/\\//g" > TMP |
71 |
|
wget --post-file=TMP -q -O- http://127.0.0.1:8080/jscoverage-store/DIR > /dev/null |
72 |
|
cat store.expected.json | sed "s/@PREFIX@/\\//g" > TMP |
73 |
|
js json-cmp.js TMP DIR/DIR/jscoverage.json |
74 |
|
|
75 |
shutdown |
shutdown |
76 |
|
|
77 |
cd recursive |
cd recursive |
78 |
python ../POSTServer.py > /dev/null 2> /dev/null & |
perl ../server.pl > /dev/null 2> /dev/null & |
79 |
origin_server_pid=$! |
origin_server_pid=$! |
80 |
cd .. |
cd .. |
81 |
|
|
82 |
rm -fr DIR |
rm -fr DIR |
83 |
$VALGRIND jscoverage-server --proxy --report-dir=DIR > OUT 2> ERR & |
$VALGRIND jscoverage-server --no-highlight --proxy --report-dir=DIR > OUT 2> ERR & |
84 |
server_pid=$! |
server_pid=$! |
85 |
server_port=8080 |
server_port=8080 |
86 |
|
|
107 |
shutdown |
shutdown |
108 |
|
|
109 |
rm -fr DIR |
rm -fr DIR |
110 |
$VALGRIND jscoverage-server --proxy --report-dir=DIR > OUT 2> ERR & |
$VALGRIND jscoverage-server --no-highlight --proxy --report-dir=DIR > OUT 2> ERR & |
111 |
server_pid=$! |
server_pid=$! |
112 |
server_port=8080 |
server_port=8080 |
113 |
|
|
118 |
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 |
119 |
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 |
120 |
sort ERR -o ERR |
sort ERR -o ERR |
121 |
diff store-bad-source-urls.expected.err ERR |
diff --strip-trailing-cr store-bad-source-urls.expected.err ERR |
122 |
|
|
123 |
shutdown |
shutdown |
124 |
|
|
125 |
rm -fr DIR |
rm -fr DIR |
126 |
$VALGRIND jscoverage-server --proxy --report-dir=DIR > OUT 2> ERR & |
$VALGRIND jscoverage-server --no-highlight --proxy --report-dir=DIR > OUT 2> ERR & |
127 |
server_pid=$! |
server_pid=$! |
128 |
server_port=8080 |
server_port=8080 |
129 |
|
|
134 |
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 |
135 |
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 |
136 |
sort ERR -o ERR |
sort ERR -o ERR |
137 |
diff store-unreachable-source-urls.expected.err ERR |
diff --strip-trailing-cr store-unreachable-source-urls.expected.err ERR |