aboutsummaryrefslogtreecommitdiff
path: root/scripts/rpki/relaxng.py
diff options
context:
space:
mode:
authorRob Austein <sra@hactrn.net>2007-07-04 05:02:00 +0000
committerRob Austein <sra@hactrn.net>2007-07-04 05:02:00 +0000
commit2d5c53975e6ddaec9ac3d49a70278fcdd584273d (patch)
treec0b79031aaabe5e427985d5c35855b51e663d041 /scripts/rpki/relaxng.py
parent2ae94accda9c4f8896b9775fc5b526238bc7ed26 (diff)
Comment
svn path=/scripts/rpki/ipaddrs.py; revision=720
Diffstat (limited to 'scripts/rpki/relaxng.py')
-rw-r--r--scripts/rpki/relaxng.py4
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/rpki/relaxng.py b/scripts/rpki/relaxng.py
index 21f6d2b7..a4a6c00d 100644
--- a/scripts/rpki/relaxng.py
+++ b/scripts/rpki/relaxng.py
@@ -3,6 +3,10 @@
import os
def relaxng(xml, rng):
+ """
+ Validate a chunk of xml against a RelaxNG schema.
+ """
+
i, o = os.popen4(("xmllint", "--noout", "--relaxng", rng, "-"))
i.write(xml)
i.close()