Update session_shared schema for max sessions
authorAdam Dickmeiss <adam@indexdata.dk>
Thu, 2 Feb 2012 12:31:40 +0000 (13:31 +0100)
committerAdam Dickmeiss <adam@indexdata.dk>
Thu, 2 Feb 2012 12:31:40 +0000 (13:31 +0100)
Also, make the attributes optional.

xml/schema/filter_session_shared.rnc

index e5a295f..b99ea56 100644 (file)
@@ -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 }?
   }?