From a25c80f0f737af62ff22bd076e3dec06b96a5002 Mon Sep 17 00:00:00 2001 From: Adam Dickmeiss Date: Thu, 2 Feb 2012 13:31:40 +0100 Subject: [PATCH] Update session_shared schema for max sessions Also, make the attributes optional. --- xml/schema/filter_session_shared.rnc | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/xml/schema/filter_session_shared.rnc b/xml/schema/filter_session_shared.rnc index e5a295f..b99ea56 100644 --- a/xml/schema/filter_session_shared.rnc +++ b/xml/schema/filter_session_shared.rnc @@ -7,11 +7,12 @@ filter_session_shared = attribute id { xsd:NCName }?, attribute name { xsd:NCName }?, element mp:resultset { - attribute max { xsd:integer }, - attribute ttl { xsd:integer }, - attribute optimizesearch { xsd:boolean } + attribute max { xsd:integer }?, + attribute ttl { xsd:integer }?, + attribute optimizesearch { xsd:boolean }? }?, element mp:session { - attribute ttl { xsd:integer } + attribute ttl { xsd:integer }?, + attribute max { xsd:integer }? }? -- 1.7.10.4