diff options
Diffstat (limited to 'rpkid/rpki/config.py')
| -rw-r--r-- | rpkid/rpki/config.py | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/rpkid/rpki/config.py b/rpkid/rpki/config.py index 59ac6efd..f0129573 100644 --- a/rpkid/rpki/config.py +++ b/rpkid/rpki/config.py @@ -4,7 +4,7 @@ ConfigParser module. $Id$ -Copyright (C) 2009--2010 Internet Systems Consortium ("ISC") +Copyright (C) 2009--2011 Internet Systems Consortium ("ISC") Permission to use, copy, modify, and distribute this software for any purpose with or without fee is hereby granted, provided that the above @@ -195,7 +195,7 @@ class parser(object): its data is less silly than the available alternatives. """ - import rpki.http, rpki.x509, rpki.sql, rpki.async + import rpki.http, rpki.x509, rpki.sql, rpki.async, rpki.log try: rpki.http.debug_http = self.getboolean("debug_http") @@ -261,3 +261,8 @@ class parser(object): rpki.async.gc_summary(self.getint("gc_summary"), self.getint("gc_summary_threshold", 0)) except ConfigParser.NoOptionError: pass + + try: + rpki.log.enable_tracebacks = self.getboolean("enable_tracebacks") + except ConfigParser.NoOptionError: + pass |