user.js

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README
commit 8fa3a9db6b0bc212cbe04539354c511c976adc7c
parent b0fb59f735b23466824d66878a50fcc76d5a72ca
Author: claustromaniac <20734810+claustromaniac@users.noreply.github.com>
Date:   Sat, 21 Apr 2018 14:34:08 +0000

fix for missing empty lines
Diffstat:

MprefsCleaner.bat | 10+++++++---


1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/prefsCleaner.bat b/prefsCleaner.bat
@@ -70,9 +70,13 @@ REM ######### Cleanup Function ##########
 		IF NOT ""=="%%G" (SET "[%%G]=1")
 	)
 	FOR /F "tokens=1,* delims=:" %%G IN ('FINDSTR /N "^" prefs.js') DO (
-		FOR /F tokens^=1^,2^ delims^=^" %%I IN ("%%H") DO (
-			IF NOT DEFINED [%%J] (
-				ECHO:%%H
+		IF ""=="%%H" (
+			ECHO:
+		) ELSE (
+			FOR /F tokens^=1^,2^ delims^=^" %%I IN ("%%H") DO (
+				IF NOT DEFINED [%%J] (
+					ECHO:%%H
+				)
 			)
 		)
 	)