diff options
| author | Rob Austein <sra@hactrn.net> | 2011-01-20 19:59:13 +0000 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2011-01-20 19:59:13 +0000 |
| commit | 7c26e04d89406d7af06d2ad2c951d9d50a797cf0 (patch) | |
| tree | 95bbb84e3e392043930864c3c8bbfa595b2236a7 /rpkid/rpki/pubd.py | |
| parent | 257406947dddcad49f9750977b8468fbf68b92f6 (diff) | |
Generate Python executables during compilation rather than from
./configure. Change (almost) all programs to use rpki.conf instead of
separate config files for each program, and add support for
${prefix}/etc/rpki.conf like normal system programs.
svn path=/buildtools/make-python-executable.py; revision=3620
Diffstat (limited to 'rpkid/rpki/pubd.py')
| -rw-r--r-- | rpkid/rpki/pubd.py | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/rpkid/rpki/pubd.py b/rpkid/rpki/pubd.py index c842b6c6..0fd4b713 100644 --- a/rpkid/rpki/pubd.py +++ b/rpkid/rpki/pubd.py @@ -5,8 +5,6 @@ Usage: python pubd.py [ { -c | --config } configfile ] [ { -h | --help } ] [ { -p | --profile } outputfile ] -Default configuration file is pubd.conf, override with --config option. - $Id$ Copyright (C) 2009--2010 Internet Systems Consortium ("ISC") @@ -53,7 +51,7 @@ class main(object): os.environ["TZ"] = "UTC" time.tzset() - self.cfg_file = "pubd.conf" + self.cfg_file = None self.profile = False opts, argv = getopt.getopt(sys.argv[1:], "c:dhp:?", ["config=", "debug", "help"]) |