projects
/
metaproxy-moved-to-github.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
a838149
)
Update session_shared schema for max sessions
author
Adam Dickmeiss
<adam@indexdata.dk>
Thu, 2 Feb 2012 12:31:40 +0000
(13:31 +0100)
committer
Adam 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
patch
|
blob
|
history
diff --git
a/xml/schema/filter_session_shared.rnc
b/xml/schema/filter_session_shared.rnc
index
e5a295f
..
b99ea56
100644
(file)
--- 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 }?
}?