diff options
| -rw-r--r-- | rpki/relaxng.py | 4 | ||||
| -rw-r--r-- | rpki/rpkid_tasks.py | 2 | ||||
| -rw-r--r-- | schemas/relaxng/left-right-schema.rng | 2 | ||||
| -rw-r--r-- | schemas/relaxng/publication-schema.rng | 2 |
4 files changed, 6 insertions, 4 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. diff --git a/rpki/rpkid_tasks.py b/rpki/rpkid_tasks.py index e0bb6904..58b4bcfe 100644 --- a/rpki/rpkid_tasks.py +++ b/rpki/rpkid_tasks.py @@ -115,6 +115,7 @@ class AbstractTask(object): self.completions.append(completion) def exit(self): + self.self.gctx.sql.sweep() while self.completions: self.completions.pop(0)(self) self.clear() @@ -122,6 +123,7 @@ class AbstractTask(object): self.self.gctx.task_next() def postpone(self, continuation): + self.self.gctx.sql.sweep() self.continuation = continuation self.due_date = None self.self.gctx.task_add(self) diff --git a/schemas/relaxng/left-right-schema.rng b/schemas/relaxng/left-right-schema.rng index 6e60bd40..c5596a2f 100644 --- a/schemas/relaxng/left-right-schema.rng +++ b/schemas/relaxng/left-right-schema.rng @@ -1,6 +1,6 @@ <?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. diff --git a/schemas/relaxng/publication-schema.rng b/schemas/relaxng/publication-schema.rng index 72a77ad4..482fa477 100644 --- a/schemas/relaxng/publication-schema.rng +++ b/schemas/relaxng/publication-schema.rng @@ -1,6 +1,6 @@ <?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. |