1 | @echo off
|
---|
2 | rem $Id: retry.cmd 98103 2023-01-17 14:15:46Z vboxsync $
|
---|
3 | rem rem @file
|
---|
4 | rem Windows NT batch script that retries a command 5 times.
|
---|
5 | rem
|
---|
6 |
|
---|
7 | rem
|
---|
8 | rem Copyright (C) 2009-2023 Oracle and/or its affiliates.
|
---|
9 | rem
|
---|
10 | rem This file is part of VirtualBox base platform packages, as
|
---|
11 | rem available from https://www.virtualbox.org.
|
---|
12 | rem
|
---|
13 | rem This program is free software; you can redistribute it and/or
|
---|
14 | rem modify it under the terms of the GNU General Public License
|
---|
15 | rem as published by the Free Software Foundation, in version 3 of the
|
---|
16 | rem License.
|
---|
17 | rem
|
---|
18 | rem This program is distributed in the hope that it will be useful, but
|
---|
19 | rem WITHOUT ANY WARRANTY; without even the implied warranty of
|
---|
20 | rem MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
---|
21 | rem General Public License for more details.
|
---|
22 | rem
|
---|
23 | rem You should have received a copy of the GNU General Public License
|
---|
24 | rem along with this program; if not, see <https://www.gnu.org/licenses>.
|
---|
25 | rem
|
---|
26 | rem SPDX-License-Identifier: GPL-3.0-only
|
---|
27 | rem
|
---|
28 |
|
---|
29 | rem
|
---|
30 | rem Note! We're using %ERRORLEVEL% here instead of the classic
|
---|
31 | rem IF ERRORLEVEL 0 GOTO blah because the latter cannot handle
|
---|
32 | rem the complete range or status codes while the former can.
|
---|
33 | rem
|
---|
34 | rem Note! SET changes ERRORLEVEL on XP+, so we have to ECHO
|
---|
35 | rem before incrementing the counter.
|
---|
36 | rem
|
---|
37 | set /a retry_count = 1
|
---|
38 | :retry
|
---|
39 | %*
|
---|
40 | if %ERRORLEVEL% == 0 goto success
|
---|
41 | if %retry_count% GEQ 5 goto give_up
|
---|
42 | echo retry.cmd: Attempt %retry_count% FAILED(%ERRORLEVEL%), retrying: %*
|
---|
43 | set /a retry_count += 1
|
---|
44 | goto retry
|
---|
45 |
|
---|
46 | :give_up
|
---|
47 | echo retry.cmd: Attempt %retry_count% FAILED(%ERRORLEVEL%), giving up: %*
|
---|
48 | set retry_count=
|
---|
49 | exit /b 1
|
---|
50 |
|
---|
51 | :success
|
---|
52 | if %retry_count% NEQ 1 echo retry.cmd: Success after %retry_count% tries: %*!
|
---|
53 | set retry_count=
|
---|
54 | exit /b 0
|
---|
55 |
|
---|