diff options
author | Henning Baldersheim <balder@yahoo-inc.com> | 2019-01-28 20:19:28 +0100 |
---|---|---|
committer | Henning Baldersheim <balder@yahoo-inc.com> | 2019-01-28 20:19:28 +0100 |
commit | 6647262e65aac73aa9f383abd8763974f70bd220 (patch) | |
tree | 4d856315a12bbd229d753b294b0b5ef6d6cafa18 /config-model/src/main/resources/schema/content.rnc | |
parent | 877cc99a230287d18f0e966617e9fa445b5ee01e (diff) |
Add support for controlling warmup in tuning section.
Diffstat (limited to 'config-model/src/main/resources/schema/content.rnc')
-rw-r--r-- | config-model/src/main/resources/schema/content.rnc | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/config-model/src/main/resources/schema/content.rnc b/config-model/src/main/resources/schema/content.rnc index ae2af6618d7..38a50699e76 100644 --- a/config-model/src/main/resources/schema/content.rnc +++ b/config-model/src/main/resources/schema/content.rnc @@ -318,7 +318,11 @@ Tuning = element tuning { element write { TuningIoOptionsLight }? & element read { TuningIoOptionsLight }? & element search { TuningIoOptionsFull }? - } + }? & + element warmup { + element time { xsd:double { minInclusive = "0.0" } }? & + element unpack { xsd:boolean }? + }? }? & element attribute { element io { |