32 |
|
|
33 |
. ./common.sh |
. ./common.sh |
34 |
|
|
35 |
origin_server_port=`unused-port.pl` |
origin_server_port=`perl unused-port.pl` |
36 |
./http-server-bad-headers $origin_server_port & |
./http-server-bad-headers $origin_server_port & |
37 |
origin_server_pid=$! |
origin_server_pid=$! |
38 |
|
|
39 |
proxy_server_port=`unused-port.pl` |
proxy_server_port=`perl unused-port.pl` |
40 |
$VALGRIND jscoverage-server --port=$proxy_server_port --proxy > OUT 2> ERR & |
$VALGRIND jscoverage-server --port=$proxy_server_port --proxy > OUT 2> ERR & |
41 |
proxy_server_pid=$! |
proxy_server_pid=$! |
42 |
|
|