WGet a page every minute and save it

wgetdiag.cmd

SET URL=http://localhost:8080

:START
SET CDATE=%DATE%
:: Remove trailing dot
SET CDATE=%CDATE:~,-1%
:: Replace colons with dots
SET CTIME=%TIME::=.%
:: Remove spaces
SET CTIME=%CTIME: =0%
:: Remove last three characters from time
SET CTIME=%CTIME:~0,-3%
SET TIMESTAMP=%CDATE%-%CTIME%
SET SECONDS=%CTIME:~-2%

wget --no-check-certificate -o output-%TIMESTAMP%.txt -O diag-%TIMESTAMP%.html %URL%

SET TIME_AFTER=%TIME:~0,-3%
SET SECONDS_AFTER=%TIME_AFTER:~-2%
ECHO %SECONDS_AFTER%

:: Handle overflow
IF %SECONDS_AFTER% GEQ %SECONDS% SET /A PING_TIMEOUT=60 - (%SECONDS_AFTER% - %SECONDS%)
IF %SECONDS_AFTER% LSS %SECONDS% SET /A PING_TIMEOUT=60 - (%SECONDS_AFTER% + 60 - %SECONDS)

ping -n %PING_TIMEOUT% 127.0.0.1

GOTO START