diff options
| author | Henning Baldersheim <balder@yahoo-inc.com> | 2018-11-02 12:57:39 +0100 |
|---|---|---|
| committer | Henning Baldersheim <balder@yahoo-inc.com> | 2018-11-02 12:57:39 +0100 |
| commit | ee2bee9bf55f3a8b46e2c51be459611b8bb7fc5a (patch) | |
| tree | 02bbf143f1b2f8cf9fb1e60d78856b06b48bc586 /config-model/src/main/resources/schema/common.rnc | |
| parent | acbd0c230aca6c6e0dae0a832047e3d8177d7393 (diff) | |
Add jvm-options and prefer over jvmargs
Diffstat (limited to 'config-model/src/main/resources/schema/common.rnc')
| -rw-r--r-- | config-model/src/main/resources/schema/common.rnc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config-model/src/main/resources/schema/common.rnc b/config-model/src/main/resources/schema/common.rnc index 32ba67b6429..73882da2b01 100644 --- a/config-model/src/main/resources/schema/common.rnc +++ b/config-model/src/main/resources/schema/common.rnc @@ -2,6 +2,7 @@ service.attlist &= attribute hostalias { xsd:NCName } service.attlist &= attribute baseport { xsd:unsignedShort }? service.attlist &= attribute jvmargs { text }? +service.attlist &= attribute jvm-options { text }? service.attlist &= attribute jvm-gc-options { text }? # preload is for internal use only service.attlist &= attribute preload { text }? |