Parent Directory
| 
Revision Log
| 
Patch
| revision 129 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:${proxy_server_port}/jscoverage-shutdown" > /dev/null | wget -q -O- --post-data= "http://127.0.0.1:${proxy_server_port}/jscoverage-shutdown" > /dev/null |
| 23 | wait $proxy_server_pid | wait $proxy_server_pid |
| 24 | kill -9 $origin_server_pid | kill -9 $origin_server_pid |
| 25 | } | } |
| 26 | ||
| 27 | function cleanup() { | cleanup() { |
| 28 | shutdown | shutdown |
| 29 | } | } |
| 30 |
|
||||||||
| ViewVC Help | |
| Powered by ViewVC 1.1.24 |