X-Git-Url: http://git.indexdata.com/?a=blobdiff_plain;f=xml%2Fschema%2Ffilter_session_shared.rnc;h=8b09c0270d4d340f551119ea077fdf2d55842534;hb=908c8147d8bcef7ed9c84e0c6720a56dd22e6e86;hp=b99ea56c532f3bd3f51bac4e7d573800ef146f00;hpb=c1915c1645ff4b7ccaa4ec1f0584fdd4371b253c;p=metaproxy-moved-to-github.git

diff --git a/xml/schema/filter_session_shared.rnc b/xml/schema/filter_session_shared.rnc
index b99ea56..8b09c02 100644
--- 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 }?,