diff options
| -rwxr-xr-x | rpkid/pubd.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rpkid/pubd.py b/rpkid/pubd.py index 3f35b087..30813f33 100755 --- a/rpkid/pubd.py +++ b/rpkid/pubd.py @@ -25,7 +25,7 @@ Default configuration file is pubd.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.gctx, rpki.publication class pubd_context(rpki.gctx.global_context): """A container for various pubd parameters.""" |