aboutsummaryrefslogtreecommitdiff
path: root/scripts/rpki/relaxng.py
diff options
context:
space:
mode:
authorRob Austein <sra@hactrn.net>2007-07-19 19:46:38 +0000
committerRob Austein <sra@hactrn.net>2007-07-19 19:46:38 +0000
commite185041e5c49d271222ce700dad84557a3b949a5 (patch)
treeff3419885b61c9f5cf92d83f7052d5e53fce1d9a /scripts/rpki/relaxng.py
parent05397773a22a18d974c78ca94aac12fe7eb3a57a (diff)
Bugfix
svn path=/scripts/Makefile; revision=780
Diffstat (limited to 'scripts/rpki/relaxng.py')
-rw-r--r--scripts/rpki/relaxng.py7
1 files changed, 7 insertions, 0 deletions
diff --git a/scripts/rpki/relaxng.py b/scripts/rpki/relaxng.py
index a4a6c00d..072d7798 100644
--- a/scripts/rpki/relaxng.py
+++ b/scripts/rpki/relaxng.py
@@ -7,6 +7,13 @@ def relaxng(xml, rng):
Validate a chunk of xml against a RelaxNG schema.
"""
+ # We could use either xmllint or jing here, but xmllint is easier.
+ # How to invoke jing, just in case:
+ #
+ # java -jar /usr/local/share/java/classes/jing.jar schema.rng foo.xml
+ #
+ # If error messages from xmllint are incomprehensible, try jing too.
+
i, o = os.popen4(("xmllint", "--noout", "--relaxng", rng, "-"))
i.write(xml)
i.close()