Bugfix: use self instead of an unbinded pi object when killing a process.

diff --git a/pymin/procman.py b/pymin/procman.py
index cb00f4ff54647ef66b621251ab36238aaba5aafc..9242d86723f5ae2a2562aaaf148986797ffc0a66 100644 (file)
--- a/pymin/procman.py
+++ b/pymin/procman.py
@@ -45,7 +45,7 @@ class ProcessInfo:
             self.kill(signal.SIGTERM)
     def kill(self, signum):
         assert self.process is not None
-        os.kill(pi.process.pid, signum)
+        os.kill(self.process.pid, signum)
         self.signal = signum
     def __repr__(self):
         pid = None