user.js

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README
commit ccaf06973bc5a13589da51979a8d501b3ed9563b
parent ce3c077d0639f0771128c6ac67daf08774f8d6d0
Author: claustromaniac <20734810+claustromaniac@users.noreply.github.com>
Date:   Sun,  3 Dec 2017 15:01:45 +0000

3.1

Minor change suggested by earthing.

Diffstat:

Mupdater.bat | 3+--


1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/updater.bat b/updater.bat
@@ -149,9 +149,8 @@ IF DEFINED _log (
 	ECHO %date%, %time%
 	ECHO.
 )
-IF EXIST user.js.old.bak ( DEL /F user.js.old.bak )
 IF EXIST user.js (
-	IF EXIST user.js.bak ( REN user.js.bak user.js.old.bak )
+	IF EXIST user.js.bak ( MOVE /Y user.js.bak user.js.old.bak >nul )
 	REN user.js user.js.bak
 	ECHO Current user.js file backed up.
 	ECHO.