diff options
Diffstat (limited to 'rpkid/rpkid.py')
| -rw-r--r-- | rpkid/rpkid.py | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/rpkid/rpkid.py b/rpkid/rpkid.py index 98381600..e441598a 100644 --- a/rpkid/rpkid.py +++ b/rpkid/rpkid.py @@ -46,16 +46,16 @@ import rpki.rpki_engine os.environ["TZ"] = "UTC" time.tzset() -rpki.log.init("rpkid") - cfg_file = "rpkid.conf" profile = None -opts, argv = getopt.getopt(sys.argv[1:], "c:hp:?", ["config=", "help", "profile="]) +opts, argv = getopt.getopt(sys.argv[1:], "c:dhp:?", ["config=", "debug", "help", "profile="]) for o, a in opts: if o in ("-h", "--help", "-?"): print __doc__ sys.exit(0) + elif o in ("-d", "--debug"): + rpki.log.use_syslog = False elif o in ("-c", "--config"): cfg_file = a elif o in ("-p", "--profile"): @@ -63,6 +63,8 @@ for o, a in opts: if argv: raise RuntimeError, "Unexpected arguments %s" % argv +rpki.log.init("rpkid") + def main(): cfg = rpki.config.parser(cfg_file, "rpkid") |