-#!/bin/sh
+#!/bin/bash
#
# Setup windows box
#
echo -ne "Reloading regress-win32.pl:\t"
wget -qO - "$URL/reload"
+
+i=0
+while ! wget -qO /dev/null $URL/nop; do
+ sleep 5
+ i=`expr $i + 1`
+ if [ $i -ge 12 ]; then # print message every minute
+ i=0
+ echo "== `date +%T` Waiting for script to reload"
+ fi
+done