Author: heiko.braun(a)jboss.com Date: 2007-06-01 10:43:54 -0400 (Fri, 01 Jun 2007) New Revision: 3366 Modified: trunk/build/hudson/jboss/bin/http-spider.sh Log: Restore previous timeout settings Modified: trunk/build/hudson/jboss/bin/http-spider.sh =================================================================== --- trunk/build/hudson/jboss/bin/http-spider.sh 2007-06-01 14:25:39 UTC (rev 3365) +++ trunk/build/hudson/jboss/bin/http-spider.sh 2007-06-01 14:43:54 UTC (rev 3366) @@ -14,9 +14,9 @@ # ############################################################# -TIMEOUT=10 # wget timeout in sec -SLEEP_TIME=5 # the actual sleep time in between test -NUM_RETRIES=2 # equals 120 seconds before exit +TIMEOUT=2 # wget timeout in sec +SLEEP_TIME=10 # the actual sleep time in between test +NUM_RETRIES=12 # equals 120 seconds before exit if [ "x$1" = "x" ]; then echo "Usage: http.sh <hostname:port>"