From 9eb77020a24ba1e921f0375a10ab3faab9665178 Mon Sep 17 00:00:00 2001
From: Daniel Hokka Zakrisson <dhokka@cs.princeton.edu>
Date: Tue, 2 Dec 2008 03:44:13 +0000
Subject: [PATCH] Use codemux condrestart.

---
 plugins/codemux.py | 11 +----------
 1 file changed, 1 insertion(+), 10 deletions(-)

diff --git a/plugins/codemux.py b/plugins/codemux.py
index 7b11350..aad28b1 100644
--- a/plugins/codemux.py
+++ b/plugins/codemux.py
@@ -118,13 +118,4 @@ def parseConf(conf = CODEMUXCONF):
 
 def restartService():
     logger.log("codemux:  Restarting codemux service")
-    os.system("/etc/init.d/codemux stop")
-    f = os.popen("/sbin/pidof codemux")
-    tmp = f.readlines()
-    f.close()
-    if len(tmp) > 0: 
-        pids = tmp[0].rstrip("\n").split()
-        for pid in pids:
-            logger.log("codemux:  Killing stalled pid %s" % pid, 2)
-            os.kill(pid, 9)
-    os.system("/etc/init.d/codemux start")
+    os.system("/etc/init.d/codemux condrestart")
-- 
2.43.0