diff options
Diffstat (limited to 'scripts/rpki/relaxng.py')
| -rw-r--r-- | scripts/rpki/relaxng.py | 4 |
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() |