From: Adam Dickmeiss <adam@indexdata.dk>
Date: Thu, 2 Feb 2012 12:31:40 +0000 (+0100)
Subject: Update session_shared schema for max sessions
X-Git-Tag: v1.3.22~4
X-Git-Url: http://lists.indexdata.dk/?a=commitdiff_plain;h=a25c80f0f737af62ff22bd076e3dec06b96a5002;p=metaproxy-moved-to-github.git

Update session_shared schema for max sessions

Also, make the attributes optional.
---

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 }?
   }?