Differences
This shows you the differences between the selected revisions of the page.
| script_retry 2016-03-02 | script_retry 2023-05-22 (current) | ||
| Line 12: | Line 12: | ||
| if %ERRORLEVEL% neq 0 ( | if %ERRORLEVEL% neq 0 ( | ||
| - | ···set /A TRIES=%TRIES%-1 | + | ····set /A TRIES=%TRIES%-1 |
| - | ··if %TRIES% gtr 1 ( | + | ···if %TRIES% gtr 1 ( |
| - | ······echo Failed, retrying in %INTERVAL% seconds... | + | ·······echo Failed, retrying in %INTERVAL% seconds... |
| - | ······timeout /T %INTERVAL% | + | ·······timeout /t %INTERVAL% |
| - | ······goto retry | + | ·······goto retry |
| - | ··) else ( | + | ···) else ( |
| - | ······echo Failed, aborting | + | ·······echo Failed, aborting |
| - | ······exit /B 1 | + | ·······exit /b 1 |
| - | ··) | + | ···) |
| ) | ) | ||
| echo Success | echo Success | ||
| - | exit /B 0 | + | exit /b 0 |
| </code> | </code> | ||