server/mirrormanager/lib.py | 2 ++
1 file changed, 2 insertions(+)
New commits:
commit 4ff7a71611e4a0b4562c140d32838904febadd81
Author: Matt Domsch <Matt_Domsch(a)dell.com>
Date: Mon Oct 18 10:33:50 2010 -0500
handle malformed pidfiles
diff --git a/server/mirrormanager/lib.py b/server/mirrormanager/lib.py
index 8c75cbd..1b0f325 100644
--- a/server/mirrormanager/lib.py
+++ b/server/mirrormanager/lib.py
@@ -63,6 +63,8 @@ def manage_pidfile(pidfile):
# is the oldpid process still running?
try:
os.kill(int(oldpid), 0)
+ except ValueError: # malformed oldpid
+ return write_pidfile(pidfile, pid)
except OSError, err:
if err.errno == 3: # No such process
return write_pidfile(pidfile, pid)
Show replies by date