From 85a07eda84b317beb32248c80726fa8fa60e9d6a Mon Sep 17 00:00:00 2001 From: Frotty Date: Thu, 26 Feb 2026 16:53:00 +0100 Subject: [PATCH] fix runmap with exe override --- .../peeeq/wurstio/languageserver/requests/MapRequest.java | 2 +- .../java/de/peeeq/wurstio/utils/W3InstallationData.java | 8 ++++++++ 2 files changed, 9 insertions(+), 1 deletion(-) diff --git a/de.peeeq.wurstscript/src/main/java/de/peeeq/wurstio/languageserver/requests/MapRequest.java b/de.peeeq.wurstscript/src/main/java/de/peeeq/wurstio/languageserver/requests/MapRequest.java index 3f644dc1d..2d937f3fd 100644 --- a/de.peeeq.wurstscript/src/main/java/de/peeeq/wurstio/languageserver/requests/MapRequest.java +++ b/de.peeeq.wurstscript/src/main/java/de/peeeq/wurstio/languageserver/requests/MapRequest.java @@ -101,7 +101,7 @@ public MapRequest(WurstLanguageServer langServer, Optional map, List gameExe, Optional version) this.languageServer = null; this.gameExe = gameExe; this.version = version; + if (!this.version.isPresent() && this.gameExe.isPresent()) { + try { + this.version = Optional.ofNullable(GameExe.getVersion(this.gameExe.get())); + WLogger.info("Parsed game version from configured executable: " + this.version); + } catch (IOException e) { + WLogger.warning("Could not parse game version from configured executable", e); + } + } } /** Evaluates the game path and version by discovering the system environment. */