procman.ProcessManager.restart(p) call start(p) when p was not running.

Otherwise, the namemap and pidmap are not updated.

diff --git a/pymin/procman.py b/pymin/procman.py
index 87e3282224e8266e109a39e3c822bd8a20539908..c86a596ea23a5af6d46dade5d39a98a3bdc22cdb 100644 (file)
--- a/pymin/procman.py
+++ b/pymin/procman.py
@@ -125,7 +125,7 @@ class ProcessManager:
             pi.process.wait()
             pi.restart()
         else:
             pi.process.wait()
             pi.restart()
         else:

-            self.services[name].start()
+            self.start(name)

 
     def kill(self, name, signum):
         log.debug(u'ProcessManager.kill(%s, %s)', name, signum)
 
     def kill(self, name, signum):
         log.debug(u'ProcessManager.kill(%s, %s)', name, signum)