39 |
|
|
40 |
trap 'cleanup' 0 1 2 3 15 |
trap 'cleanup' 0 1 2 3 15 |
41 |
|
|
|
if [ -z "$VALGRIND" ] |
|
|
then |
|
|
delay=0.2 |
|
|
else |
|
|
delay=2 |
|
|
fi |
|
|
|
|
42 |
rm -fr DIR |
rm -fr DIR |
43 |
$VALGRIND jscoverage-server --no-highlight --document-root=recursive --report-dir=DIR > OUT 2> ERR & |
$VALGRIND jscoverage-server --no-highlight --document-root=recursive --report-dir=DIR > OUT 2> ERR & |
44 |
server_pid=$! |
server_pid=$! |
45 |
server_port=8080 |
server_port=8080 |
46 |
|
|
47 |
sleep $delay |
wait_for_server http://127.0.0.1:8080/jscoverage.html |
48 |
|
|
49 |
cat store.json | sed "s/@PREFIX@/\\//g" > TMP |
cat store.json | sed "s/@PREFIX@/\\//g" > TMP |
50 |
wget --post-file=TMP -q -O- http://127.0.0.1:8080/jscoverage-store > /dev/null |
wget --post-file=TMP -q -O- http://127.0.0.1:8080/jscoverage-store > /dev/null |