diff options
author | Rob Austein <sra@hactrn.net> | 2008-06-06 00:25:15 +0000 |
---|---|---|
committer | Rob Austein <sra@hactrn.net> | 2008-06-06 00:25:15 +0000 |
commit | 62a537b5d40baae387baeef2a11e5f27c3961535 (patch) | |
tree | 2795cdd13ef029d220244f66f63804a5dec9be25 /rpkid/rpkid.py | |
parent | 2b5510991e201b9d118071f5a5270920dd026050 (diff) |
Checkpoint (refactor to create new rpki.sql.session class to handle
retry of failed sql connections, not done yet, time for dinner...)
svn path=/rpkid/pubd.py; revision=1848
Diffstat (limited to 'rpkid/rpkid.py')
-rwxr-xr-x | rpkid/rpkid.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rpkid/rpkid.py b/rpkid/rpkid.py index 67e3aed0..06c7800a 100755 --- a/rpkid/rpkid.py +++ b/rpkid/rpkid.py @@ -27,7 +27,7 @@ Default configuration file is rpkid.conf, override with --config option. import traceback, os, time, getopt, sys, MySQLdb, lxml.etree import rpki.resource_set, rpki.up_down, rpki.left_right, rpki.x509, rpki.sql import rpki.https, rpki.config, rpki.exceptions, rpki.relaxng, rpki.log -import rpki.gctx +import rpki.rpki_engine os.environ["TZ"] = "UTC" time.tzset() @@ -60,7 +60,7 @@ def main(): if profile: rpki.log.info("Running in profile mode with output to %s" % profile) - gctx = rpki.gctx.global_context(cfg) + gctx = rpki.rpki_engine.rpkid_context(cfg) rpki.https.server(host = gctx.https_server_host, port = gctx.https_server_port, |