2
0
Fork 0
mirror of https://github.com/ethauvin/bld.git synced 2025-04-26 00:37:10 -07:00

Fix to java agent options API

This commit is contained in:
Geert Bevin 2023-08-10 23:43:38 -04:00
parent 39f1456d12
commit 950b47a383

View file

@ -225,7 +225,7 @@ public class JavaOptions extends ArrayList<String> {
* @since 1.5.18 * @since 1.5.18
*/ */
public JavaOptions agentLib(String libName, String options) { public JavaOptions agentLib(String libName, String options) {
add("-agentlib:" + libName + (options == null ? "" : ":" + options)); add("-agentlib:" + libName + (options == null ? "" : "=" + options));
return this; return this;
} }
@ -246,7 +246,7 @@ public class JavaOptions extends ArrayList<String> {
* @since 1.5.18 * @since 1.5.18
*/ */
public JavaOptions agentPath(File pathName, String options) { public JavaOptions agentPath(File pathName, String options) {
add("-agentpath:" + pathName + (options == null ? "" : ":" + options)); add("-agentpath:" + pathName + (options == null ? "" : "=" + options));
return this; return this;
} }
@ -267,7 +267,7 @@ public class JavaOptions extends ArrayList<String> {
* @since 1.5.18 * @since 1.5.18
*/ */
public JavaOptions javaAgent(File jarPath, String options) { public JavaOptions javaAgent(File jarPath, String options) {
add("-javaagent:" + jarPath + (options == null ? "" : ":" + options)); add("-javaagent:" + jarPath + (options == null ? "" : "=" + options));
return this; return this;
} }