diff options
author | Rob Austein <sra@hactrn.net> | 2012-05-10 06:27:29 +0000 |
---|---|---|
committer | Rob Austein <sra@hactrn.net> | 2012-05-10 06:27:29 +0000 |
commit | 24c40df4555158a2aeb243c3937b195c250a4fda (patch) | |
tree | f2abe9ddce2e2a5347b82170a87198e3aa26471d | |
parent | 19c53434b80d127ea739351c175c030832e4a398 (diff) |
Failure to write pid file is a warning, not a fatal error.
svn path=/trunk/; revision=4483
-rw-r--r-- | rpkid/rpki/daemonize.py | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/rpkid/rpki/daemonize.py b/rpkid/rpki/daemonize.py index 55dc106a..a3969967 100644 --- a/rpkid/rpki/daemonize.py +++ b/rpkid/rpki/daemonize.py @@ -62,6 +62,7 @@ import sys import os import atexit import signal +import rpki.log # Does default_pid_directory need to be autoconf-configurable? @@ -123,7 +124,10 @@ def daemon(nochdir = False, noclose = False, pidfile = None): pass atexit.register(delete_pid_file) - - f = open(pidfile, "w") - f.write("%d\n" % os.getpid()) - f.close() + + try: + f = open(pidfile, "w") + f.write("%d\n" % os.getpid()) + f.close() + except IOError, e: + rpki.log.warn("Couldn't write PID file %s: %s" % (pidfile, e.strerror)) |