diff options
Diffstat (limited to 'rpki/rpkid.py')
| -rw-r--r-- | rpki/rpkid.py | 31 |
1 files changed, 18 insertions, 13 deletions
diff --git a/rpki/rpkid.py b/rpki/rpkid.py index af973b62..119de8ec 100644 --- a/rpki/rpkid.py +++ b/rpki/rpkid.py @@ -93,21 +93,26 @@ class main(object): rpki.log.init("rpkid", args) - self.cfg.set_global_flags() + try: + self.cfg.set_global_flags() - if not args.foreground: - rpki.daemonize.daemon(pidfile = args.pidfile) + if not args.foreground: + rpki.daemonize.daemon(pidfile = args.pidfile) + + if self.profile: + import cProfile + prof = cProfile.Profile() + try: + prof.runcall(self.main) + finally: + prof.dump_stats(self.profile) + logger.info("Dumped profile data to %s", self.profile) + else: + self.main() + except: + logger.exception("Unandled exception in rpki.rpkid.main()") + sys.exit(1) - if self.profile: - import cProfile - prof = cProfile.Profile() - try: - prof.runcall(self.main) - finally: - prof.dump_stats(self.profile) - logger.info("Dumped profile data to %s", self.profile) - else: - self.main() def main(self): |