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 |