diff options
author | Rob Austein <sra@hactrn.net> | 2009-12-28 18:09:23 +0000 |
---|---|---|
committer | Rob Austein <sra@hactrn.net> | 2009-12-28 18:09:23 +0000 |
commit | e3f985e48c6949f8b1ba7f3b7dce85e59a68738d (patch) | |
tree | 19f814c59927a850ce258f8328eaf418e3a0c53b /rpkid/pubd.py | |
parent | 39d9cb9dec12595c3ca5a705342de469d3717875 (diff) |
Start adding config file control for all the weird little debugging
and tuning parameters. This may require refactoring eventually, but
it's better than having to modify the source code every time.
svn path=/rpkid/irdbd.py; revision=2911
Diffstat (limited to 'rpkid/pubd.py')
-rw-r--r-- | rpkid/pubd.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/rpkid/pubd.py b/rpkid/pubd.py index 82f3fb93..ceb6bac7 100644 --- a/rpkid/pubd.py +++ b/rpkid/pubd.py @@ -176,6 +176,8 @@ def main(): if profile: rpki.log.info("Running in profile mode with output to %s" % profile) + cfg.set_debugging_flags() + pctx = pubd_context(cfg) rpki.https.server( |