Parent Directory
|
Revision Log
|
Patch
revision 126 by siliconforks, Mon Jun 2 17:53:43 2008 UTC | revision 130 by siliconforks, Tue Jun 3 02:41:23 2008 UTC | |
---|---|---|
# | Line 18 | Line 18 |
18 | ||
19 | set -e | set -e |
20 | ||
21 | function shutdown() { | shutdown() { |
22 | wget -q -O- --post-data= "http://127.0.0.1:${server_port}/jscoverage-shutdown" > /dev/null | wget -q -O- --post-data= "http://127.0.0.1:${server_port}/jscoverage-shutdown" > /dev/null |
23 | wait $server_pid | wait $server_pid |
24 | } | } |
25 | ||
26 | function cleanup() { | cleanup() { |
27 | shutdown | shutdown |
28 | } | } |
29 |
|
ViewVC Help | |
Powered by ViewVC 1.1.24 |