Update W3InstallationData.java

Frotty · Frotty · commit 38e0e85a1024 · 2026-04-25T09:53:03.000+02:00
diff --git a/de.peeeq.wurstscript/src/main/java/de/peeeq/wurstio/utils/W3InstallationData.java b/de.peeeq.wurstscript/src/main/java/de/peeeq/wurstio/utils/W3InstallationData.java
@@ -64,7 +64,7 @@ public W3InstallationData(WurstLanguageServer languageServer, File wc3Path, bool
             loadFromPath(wc3Path);
         }
 
-        if (!gameExe.isPresent()) {
+        if (!gameExe.isPresent() || !version.isPresent()) {
             WLogger.warning("The provided wc3 path wasn't suitable. Falling back to discovery.");
             discoverExePath();
             discoverVersion();

Original file line number	Diff line number	Diff line change
`@@ -64,7 +64,7 @@ public W3InstallationData(WurstLanguageServer languageServer, File wc3Path, bool`
`64`	`64`	`loadFromPath(wc3Path);`
`65`	`65`	`}`
`66`	`66`
`67`		`- if (!gameExe.isPresent()) {`
	`67`	`+ if (!gameExe.isPresent() \|\| !version.isPresent()) {`
`68`	`68`	`WLogger.warning("The provided wc3 path wasn't suitable. Falling back to discovery.");`
`69`	`69`	`discoverExePath();`
`70`	`70`	`discoverVersion();`