diff options
| author | Rob Austein <sra@hactrn.net> | 2014-08-18 23:02:36 +0000 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2014-08-18 23:02:36 +0000 |
| commit | 292dceaf899b9221795e655936f839244fd0043e (patch) | |
| tree | 6ff2160f48644c09c58197c3e297a18f688f4f8e /rpki/relaxng.py | |
| parent | 18232e0d37b59e7c3f0274408a4024c213d68e07 (diff) | |
Sweep SQL cache on task exit. See #707.
svn path=/trunk/; revision=5921
Diffstat (limited to 'rpki/relaxng.py')
| -rw-r--r-- | rpki/relaxng.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rpki/relaxng.py b/rpki/relaxng.py index 2ca4e39f..e43384e7 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-schema.rnc 5845 2014-05-29 22:31:15Z sra $ + $Id: left-right-schema.rnc 5902 2014-07-18 16:37:04Z sra $ RelaxNG schema for RPKI left-right protocol. @@ -1485,7 +1485,7 @@ myrpki = RelaxNGParser(r'''<?xml version="1.0" encoding="UTF-8"?> ## Parsed RelaxNG publication schema publication = RelaxNGParser(r'''<?xml version="1.0" encoding="UTF-8"?> <!-- - $Id: publication-schema.rnc 5845 2014-05-29 22:31:15Z sra $ + $Id: publication-schema.rnc 5902 2014-07-18 16:37:04Z sra $ RelaxNG schema for RPKI publication protocol. |