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. */