session_shared: restart (error recovery) configurable

[metaproxy-moved-to-github.git] / xml / schema / filter_session_shared.rnc

diff --git a/xml/schema/filter_session_shared.rnc b/xml/schema/filter_session_shared.rnc
index b99ea56..8b09c02 100644 (file)
--- a/xml/schema/filter_session_shared.rnc
+++ b/xml/schema/filter_session_shared.rnc
@@ -9,7 +9,8 @@ filter_session_shared =
   element mp:resultset {
     attribute max { xsd:integer }?,
     attribute ttl { xsd:integer }?,
-    attribute optimizesearch { xsd:boolean }?
+    attribute optimizesearch { xsd:boolean }?,
+    attribute restart { xsd:boolean }?
   }?,
   element mp:session {
     attribute ttl { xsd:integer }?,