jvmsetcreationargs
jvmsetcreationargs |
Purpose
Synopsis
procedure jvmsetcreationargs(args:list of string)
procedure jvmsetcreationargs(args:list of text)
Argument
|
args
|
List of the arguments to pass to the JVM at startup,
e.g.
["-Dmy.property.name=hello-world","-Xint"]
|
Further information
1. In general, any arguments that could be passed to the
java executable at the command line can be specified here. Consult the documentation for your Java installation for more details.
2. If a Java virtual machine has already been created in this process, this procedure will do nothing.
3. This procedure can only be used before calling any
jvmcall*, subroutine, as these will start the in-process JVM.
4. If the NoExec restriction is present, this procedure will cause the model to end with an error.
Related topics