Git-Mirrors/firefox-user.js
1
0
Fork 0
mirror of https://github.com/arkenfox/user.js.git synced 2024-10-01 01:35:52 -04:00
Code Issues Packages Projects Releases Wiki Activity

misc

Browse Source 
To account for the possibility of the user running the script silently in the background. PAUSE would leave an instance in memory doing nothing indefinitely.

I was going to use TIMEOUT but PING performs better.
This commit is contained in:
claustromaniac 2017-11-29 04:33:02 +00:00
parent 6ff3d1eb36
commit bdf69cd198
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
updater.bat
View File

@ -49,7 +49,7 @@ IF DEFINED _updateb (
) ELSE (
ECHO Failed. Make sure PowerShell is allowed internet access.
ECHO.
PAUSE
PING -n 301 127.0.0.1>nul
EXIT /B
)
) ELSE (
@ -58,6 +58,9 @@ IF DEFINED _updateb (
CALL :begin
REN "!_myname!.bat" "!_myname:~9!.bat"
EXIT /B
) ELSE (
ECHO.
ECHO The [updated] label is reserved. Do not run an [updated] script directly, or rename it to something else before you run it.
)
)
)
@ -230,5 +233,6 @@ FOR /F "tokens=1,* delims=]" %%G IN ('find /n /v "" ^< "%~1"') DO (
ENDLOCAL
)
ENDLOCAL
DEL /F %1 >nul
GOTO :EOF
REM ############################