diff options
Diffstat (limited to 'config-model/src/main/resources')
| -rw-r--r-- | config-model/src/main/resources/schema/content.rnc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config-model/src/main/resources/schema/content.rnc b/config-model/src/main/resources/schema/content.rnc index a48d38b9f2c..7f52eae6da8 100644 --- a/config-model/src/main/resources/schema/content.rnc +++ b/config-model/src/main/resources/schema/content.rnc @@ -167,6 +167,7 @@ Engine = element engine { Proton = element proton { element flush-on-shutdown { xsd:string }? & + element sync-transactionlog { xsd:string }? & element visibility-delay { xsd:double { minInclusive = "0.0" } }? & element query-timeout { xsd:double { minInclusive = "0.0" } }? & element searchable-copies { xsd:integer { minInclusive = "0" } }? & |