--- trunk/tests/store-source-not-found.sh 2008/06/02 17:53:43 126 +++ trunk/tests/store-source-not-found.sh 2008/06/03 02:41:23 130 @@ -18,12 +18,12 @@ set -e -function shutdown() { +shutdown() { wget -q -O- --post-data= "http://127.0.0.1:${server_port}/jscoverage-shutdown" > /dev/null wait $server_pid } -function cleanup() { +cleanup() { shutdown }