From 8f4c54bc550325b94fde08ef537ba8e253647f89 2012-07-26 00:43:50
From: Bradley M. Froehle <brad.froehle@gmail.com>
Date: 2012-07-26 00:43:50
Subject: [PATCH] Print warning message if process could not be killed.

---

diff --git a/IPython/testing/iptest.py b/IPython/testing/iptest.py
index 561c0ea..9d4f29a 100644
--- a/IPython/testing/iptest.py
+++ b/IPython/testing/iptest.py
@@ -400,6 +400,9 @@ class IPTester(object):
     def __del__(self):
         """Cleanup on exit by killing any leftover processes."""
         for subp in self.processes:
+            if subp.poll() is not None:
+                continue # process is already dead
+
             try:
                 print('Cleaning stale PID: %d' % subp.pid)
                 subp.kill()
@@ -408,6 +411,10 @@ class IPTester(object):
                 # really gone, ignore it.
                 pass
 
+            if subp.poll() is None:
+                # The process did not die...
+                print('... failed. Manual cleanup may be required.'
+                      % subp.pid)
 
 def make_runners():
     """Define the top-level packages that need to be tested.