diff options
Diffstat (limited to 'rpki/rootd.py')
| -rw-r--r-- | rpki/rootd.py | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/rpki/rootd.py b/rpki/rootd.py index 0508dc49..6b6aa0fa 100644 --- a/rpki/rootd.py +++ b/rpki/rootd.py @@ -428,8 +428,6 @@ class main(object): time.tzset() parser = argparse.ArgumentParser(description = __doc__) - parser.add_argument("-c", "--config", - help = "override default location of configuration file") parser.add_argument("-f", "--foreground", action = "store_true", help = "do not daemonize") parser.add_argument("--pidfile", @@ -439,7 +437,7 @@ class main(object): rpki.log.init("rootd", args) - self.cfg = rpki.config.parser(args.config, "rootd") + self.cfg = rpki.config.parser(section = "rootd") self.cfg.set_global_flags() if not args.foreground: |