5 URL=http://$WIN32_ADDR:8091
6 wget -qO $tmp/start.log "$URL/reboot"
8 # we need a way to start the regress-win32.pl at the start
9 while ! ping -c 1 $WIN32_ADDR > /dev/null; do
12 echo "Machine $URL supposedly rebooted"
14 echo "If the autologon doesn't work, you can double click on c:\\autologon.reg"
16 while ! wget -qO /dev/null $URL/nop; do
19 if [ $i -ge 12 ]; then # print message every minute
21 echo "== `date +%T` Waiting for reboot and autologin to $URL, you can also login and start regress-win32.pl by hand"