diff options
| author | Rob Austein <sra@hactrn.net> | 2014-09-16 18:29:46 +0000 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2014-09-16 18:29:46 +0000 |
| commit | 180a9c09f9705283e11caa2df408e6b2353f3b9d (patch) | |
| tree | a0861ddd006017e9f4fe754bd1abefa36a9a73cb /rpki/rpkid.py | |
| parent | c02686daf6dcc4175f119adc5d19261f577b2856 (diff) | |
| parent | 7c2fb9ca36f120369797072e534041daae6cd8f9 (diff) | |
Merge changes from branches/tk713 into branches/tk705. See #705, #713.
svn path=/branches/tk705/; revision=5956
Diffstat (limited to 'rpki/rpkid.py')
| -rw-r--r-- | rpki/rpkid.py | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/rpki/rpkid.py b/rpki/rpkid.py index e3120b75..e9a05abb 100644 --- a/rpki/rpkid.py +++ b/rpki/rpkid.py @@ -60,8 +60,6 @@ class main(object): self.task_queue = [] 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", @@ -75,7 +73,7 @@ class main(object): rpki.log.init("rpkid", args) - self.cfg = rpki.config.parser(args.config, "rpkid") + self.cfg = rpki.config.parser(section = "rpkid") self.cfg.set_global_flags() if not args.foreground: |