32 |
|
|
33 |
trap 'cleanup' 0 1 2 3 15 |
trap 'cleanup' 0 1 2 3 15 |
34 |
|
|
|
if [ -z "$VALGRIND" ] |
|
|
then |
|
|
delay=0.2 |
|
|
else |
|
|
delay=2 |
|
|
fi |
|
|
|
|
35 |
rm -fr DIR |
rm -fr DIR |
36 |
$VALGRIND jscoverage-server --proxy --report-dir=DIR > OUT 2> ERR & |
$VALGRIND jscoverage-server --proxy --report-dir=DIR > OUT 2> ERR & |
37 |
server_pid=$! |
server_pid=$! |
39 |
./http-server-bad-headers & |
./http-server-bad-headers & |
40 |
origin_server_pid=$! |
origin_server_pid=$! |
41 |
|
|
42 |
sleep $delay |
wait_for_server http://127.0.0.1:8080/jscoverage.html |
43 |
|
wait_for_server http://127.0.0.1:8000/ping |
44 |
|
|
45 |
# server sending malformed headers |
# server sending malformed headers |
46 |
cat store.json | sed "s/@PREFIX@/http:\\/\\/127.0.0.1:8000\\//g" > TMP |
cat store.json | sed "s/@PREFIX@/http:\\/\\/127.0.0.1:8000\\//g" > TMP |