diff options
Diffstat (limited to 'config-model/src/main/resources/schema/content.rnc')
| -rw-r--r-- | config-model/src/main/resources/schema/content.rnc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/config-model/src/main/resources/schema/content.rnc b/config-model/src/main/resources/schema/content.rnc index 5833b575a74..a73236454c6 100644 --- a/config-model/src/main/resources/schema/content.rnc +++ b/config-model/src/main/resources/schema/content.rnc @@ -370,7 +370,8 @@ Tuning = element tuning { element threads { xsd:nonNegativeInteger }? }? & element feeding { - element concurrency { xsd:double { minInclusive = "0.0" maxInclusive = "1.0" } }? + element concurrency { xsd:double { minInclusive = "0.0" maxInclusive = "1.0" } }? & + element niceness { xsd:double { minInclusive = "0.0" maxInclusive = "1.0" } }? }? & element removed-db { element prune { |