diff options
author | Rob Austein <sra@hactrn.net> | 2015-10-25 04:17:56 +0000 |
---|---|---|
committer | Rob Austein <sra@hactrn.net> | 2015-10-25 04:17:56 +0000 |
commit | 95ef1c6d040c015615be01bee36547faf8432791 (patch) | |
tree | 3b76b50600601f653feb81c543a22d2ebf8896d7 /rpki/rpkid.py | |
parent | a0da0a0088a8c8da50bd6b1ebb88277f58e88a81 (diff) |
Use a weakref dictionary to hold the HTTP client serialization
database, so the garbage collector can clean it up automatically.
svn path=/branches/tk705/; revision=6148
Diffstat (limited to 'rpki/rpkid.py')
-rw-r--r-- | rpki/rpkid.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/rpki/rpkid.py b/rpki/rpkid.py index 96c0a840..da6141ea 100644 --- a/rpki/rpkid.py +++ b/rpki/rpkid.py @@ -25,6 +25,7 @@ import os import time import random import logging +import weakref import argparse import urlparse @@ -71,7 +72,7 @@ class main(object): self.task_queue = [] self.task_event = tornado.locks.Event() - self.http_client_serialize = {} + self.http_client_serialize = weakref.WeakValueDictionary() parser = argparse.ArgumentParser(description = __doc__) parser.add_argument("-c", "--config", |