diff options
| -rw-r--r-- | rpki/relaxng.py | 2 | ||||
| -rw-r--r-- | schemas/relaxng/left-right.rnc | 2 | ||||
| -rw-r--r-- | schemas/relaxng/left-right.rng | 2 |
3 files changed, 4 insertions, 2 deletions
diff --git a/rpki/relaxng.py b/rpki/relaxng.py index 842126bc..2d2d2ae4 100644 --- a/rpki/relaxng.py +++ b/rpki/relaxng.py @@ -6,7 +6,7 @@ from rpki.relaxng_parser import RelaxNGParser ## Parsed RelaxNG left_right schema left_right = RelaxNGParser(r'''<?xml version="1.0" encoding="UTF-8"?> <!-- - $Id: left-right.rnc 6134 2015-10-20 18:58:48Z sra $ + $Id: left-right.rnc 6136 2015-10-20 19:12:19Z sra $ RelaxNG schema for RPKI left-right protocol. diff --git a/schemas/relaxng/left-right.rnc b/schemas/relaxng/left-right.rnc index 977fe7d7..1d132443 100644 --- a/schemas/relaxng/left-right.rnc +++ b/schemas/relaxng/left-right.rnc @@ -26,6 +26,8 @@ version = "1" # Top level PDU start = element msg { + attribute version { xsd:positiveInteger { maxInclusive="1" } }, + ( (attribute type { "query" }, query_elt*) | (attribute type { "reply" }, reply_elt*) ) } diff --git a/schemas/relaxng/left-right.rng b/schemas/relaxng/left-right.rng index 7042ff50..51466eaa 100644 --- a/schemas/relaxng/left-right.rng +++ b/schemas/relaxng/left-right.rng @@ -1,6 +1,6 @@ <?xml version="1.0" encoding="UTF-8"?> <!-- - $Id: left-right.rnc 6134 2015-10-20 18:58:48Z sra $ + $Id: left-right.rnc 6136 2015-10-20 19:12:19Z sra $ RelaxNG schema for RPKI left-right protocol. |