Ignore --jvm when already in the right JVM

enso-org · Jun 28, 2024 · 8f18b2f · 8f18b2f
1 parent e67cc87
commit 8f18b2f
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/engine/runner/src/main/java/org/enso/runner/Main.java b/engine/runner/src/main/java/org/enso/runner/Main.java
@@ -1313,6 +1313,9 @@ private void launch(String[] args) throws IOException, InterruptedException, URI
     if (line.hasOption(JVM_OPTION)) {
       var jvm = line.getOptionValue(JVM_OPTION);
       var current = System.getProperty("java.home");
+      if (jvm == null) {
+          jvm = current;
+      }
       if (current == null || !current.equals(jvm)) {
         var loc = Main.class.getProtectionDomain().getCodeSource().getLocation();
         var commandAndArgs = new ArrayList<String>();