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:${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 | if [ "$origin_server_pid" != "" ] | if [ "$origin_server_pid" != "" ] |
| # | Line 27 | Line 27 |
| 27 | fi | fi |
| 28 | } | } |
| 29 | ||
| 30 | function cleanup() { | cleanup() { |
| 31 | shutdown | shutdown |
| 32 | } | } |
| 33 |
|
||||||||
| ViewVC Help | |
| Powered by ViewVC 1.1.24 |