diff options
author | Henning Baldersheim <balder@yahoo-inc.com> | 2017-10-06 15:41:14 +0200 |
---|---|---|
committer | Henning Baldersheim <balder@yahoo-inc.com> | 2017-10-06 15:41:14 +0200 |
commit | a0c814fafbedba6edc8e730dfca1363623bf3437 (patch) | |
tree | 0d56d90dac1d82766259328c944bf870af3142cd /config-model/src/main/resources/schema/content.rnc | |
parent | cb60fccb0fb3bf92bf2a223324dad44e986ae54d (diff) |
summary.log.numthreads -> background.threads.
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, 3 insertions, 0 deletions
diff --git a/config-model/src/main/resources/schema/content.rnc b/config-model/src/main/resources/schema/content.rnc index 9031e8128df..e75c15ea524 100644 --- a/config-model/src/main/resources/schema/content.rnc +++ b/config-model/src/main/resources/schema/content.rnc @@ -353,6 +353,9 @@ Tuning = element tuning { }? & element initialize { element threads { xsd:nonNegativeInteger }? + }? & + element background { + element threads { xsd:nonNegativeInteger }? }? }? } |