Corrected the Windows runserver script

* Fixes #2679.
* Follow up to 53db435.
* Changed the start label to a non-standard name.
Thanks to @gusjungsza.
This commit is contained in:
aleos89 2017-12-05 12:21:36 -05:00
parent 0fa57e2bbe
commit 34a905df65

View File

@ -6,7 +6,7 @@ IF NOT EXIST "%1" GOTO NOTFOUND
IF "%3"=="" ( set "restart_mode=on"
) else set "restart_mode=%~3"
echo "restart_mode=%restart_mode%"
GOTO START
GOTO START_RA
REM == How RESTART_9X and RESTART_NT works =========================
REM On Windows 9x only the first 8 characters are significant for
@ -21,7 +21,7 @@ REM Windows 95, 98, ME
REM Old Ctrl+C in PING does not work, because that only stops ping,
REM not the batch file.
CHOICE /C:rc /N /T:R,15 Restarting in 15 seconds, press 'C' to cancel.
IF NOT ERRORLEVEL 2 GOTO START
IF NOT ERRORLEVEL 2 GOTO START_RA
GOTO END
REM Windows 2000, XP, Vista, 7
@ -33,7 +33,7 @@ if "%restart_mode%" == "off" GOTO END
ECHO Restarting in 15 seconds, press Ctrl+C to cancel.
PING -n 15 127.0.0.1 > NUL
:START
:START_RA
%1
ECHO.
REM Return value > 1 is exception&~0xC0000000