Fix daemon JVM start options (follow-up to #749) (#751)

This commit is contained in:
Guillaume Nodet
2022-12-09 23:58:13 +01:00
committed by GitHub
parent 866a7c6f3f
commit bc021d0577
3 changed files with 23 additions and 12 deletions

View File

@@ -420,6 +420,10 @@ public enum Environment {
return property + "=" + type.normalize(value);
}
public void addSystemProperty(Collection<String> args, String value) {
args.add("-D" + property + "=" + type.normalize(value));
}
public void addCommandLineOption(Collection<String> args, String value) {
if (!options.isEmpty()) {
args.add(options.keySet().iterator().next());