52 |
|
|
53 |
rm -fr DIR |
rm -fr DIR |
54 |
mkdir DIR |
mkdir DIR |
55 |
$VALGRIND jscoverage-server --proxy --report-dir=DIR > OUT 2> ERR & |
$VALGRIND jscoverage-server --no-highlight --proxy --report-dir=DIR > OUT 2> ERR & |
56 |
proxy_server_pid=$! |
proxy_server_pid=$! |
57 |
proxy_server_port=8080 |
proxy_server_port=8080 |
58 |
|
|
95 |
diff ../jscoverage.html DIR/jscoverage.html |
diff ../jscoverage.html DIR/jscoverage.html |
96 |
diff ../jscoverage.css DIR/jscoverage.css |
diff ../jscoverage.css DIR/jscoverage.css |
97 |
diff ../jscoverage-throbber.gif DIR/jscoverage-throbber.gif |
diff ../jscoverage-throbber.gif DIR/jscoverage-throbber.gif |
|
diff ../jscoverage-sh_main.js DIR/jscoverage-sh_main.js |
|
|
diff ../jscoverage-sh_javascript.js DIR/jscoverage-sh_javascript.js |
|
|
diff ../jscoverage-sh_nedit.css DIR/jscoverage-sh_nedit.css |
|
98 |
echo -e 'jscoverage_isReport = true;\r' | cat ../jscoverage.js - | diff - DIR/jscoverage.js |
echo -e 'jscoverage_isReport = true;\r' | cat ../jscoverage.js - | diff - DIR/jscoverage.js |
99 |
|
|
100 |
## send it an FTP request |
## send it an FTP request |
123 |
# kill $proxy_server_pid |
# kill $proxy_server_pid |
124 |
shutdown |
shutdown |
125 |
|
|
126 |
$VALGRIND jscoverage-server --port=8081 --proxy --report-dir=DIR --no-instrument=http://127.0.0.1:8000/1/ & |
$VALGRIND jscoverage-server --no-highlight --port=8081 --proxy --report-dir=DIR --no-instrument=http://127.0.0.1:8000/1/ & |
127 |
proxy_server_pid=$! |
proxy_server_pid=$! |
128 |
proxy_server_port=8081 |
proxy_server_port=8081 |
129 |
|
|