diff options
Diffstat (limited to 'rpkid/rpki/config.py')
| -rw-r--r-- | rpkid/rpki/config.py | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/rpkid/rpki/config.py b/rpkid/rpki/config.py index bba4a62c..c954ad5f 100644 --- a/rpkid/rpki/config.py +++ b/rpkid/rpki/config.py @@ -195,7 +195,12 @@ class parser(object): its data is less silly than the available alternatives. """ - import rpki.http, rpki.x509, rpki.sql, rpki.async, rpki.log + import rpki.http + import rpki.x509 + import rpki.sql + import rpki.async + import rpki.log + import rpki.daemonize try: rpki.http.debug_http = self.getboolean("debug_http") @@ -270,3 +275,13 @@ class parser(object): rpki.log.enable_tracebacks = self.getboolean("enable_tracebacks") except ConfigParser.NoOptionError: pass + + try: + rpki.daemonize.default_pid_directory = self.get("pid_directory") + except ConfigParser.NoOptionError: + pass + + try: + rpki.daemonize.pid_filename = self.get("pid_filename") + except ConfigParser.NoOptionError: + pass |