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 | |
| parent | 18232e0d37b59e7c3f0274408a4024c213d68e07 (diff) | |
Sweep SQL cache on task exit. See #707.
svn path=/trunk/; revision=5921
| -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. |