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 |
|
|
74 |
cd .. |
cd .. |
75 |
|
|
76 |
rm -fr DIR |
rm -fr DIR |
77 |
$VALGRIND jscoverage-server --proxy --report-dir=DIR > OUT 2> ERR & |
$VALGRIND jscoverage-server --no-highlight --proxy --report-dir=DIR > OUT 2> ERR & |
78 |
server_pid=$! |
server_pid=$! |
79 |
server_port=8080 |
server_port=8080 |
80 |
|
|
101 |
shutdown |
shutdown |
102 |
|
|
103 |
rm -fr DIR |
rm -fr DIR |
104 |
$VALGRIND jscoverage-server --proxy --report-dir=DIR > OUT 2> ERR & |
$VALGRIND jscoverage-server --no-highlight --proxy --report-dir=DIR > OUT 2> ERR & |
105 |
server_pid=$! |
server_pid=$! |
106 |
server_port=8080 |
server_port=8080 |
107 |
|
|
117 |
shutdown |
shutdown |
118 |
|
|
119 |
rm -fr DIR |
rm -fr DIR |
120 |
$VALGRIND jscoverage-server --proxy --report-dir=DIR > OUT 2> ERR & |
$VALGRIND jscoverage-server --no-highlight --proxy --report-dir=DIR > OUT 2> ERR & |
121 |
server_pid=$! |
server_pid=$! |
122 |
server_port=8080 |
server_port=8080 |
123 |
|
|