[GR-9285] Use the full name of the option when it's found using the d…

…efault option prefix. PullRequest: graal/1401
mttcr · Apr 25, 2018 · f1ea8d2 · f1ea8d2
2 parents ef35aab + 7384937
commit f1ea8d2
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/sdk/src/org.graalvm.launcher/src/org/graalvm/launcher/Launcher.java b/sdk/src/org.graalvm.launcher/src/org/graalvm/launcher/Launcher.java
@@ -611,7 +611,8 @@ boolean parsePolyglotOption(String defaultOptionPrefix, Map<String, String> opti
                 } catch (IllegalArgumentException e) {
                     throw abort(String.format("Invalid argument %s specified. %s'", arg, e.getMessage()));
                 }
-                options.put(key, value);
+                // use the full name of the found descriptor
+                options.put(descriptor.getName(), value);
                 return true;
         }
     }