mininet/mininet — pull request #356 by cdburkard (2014-08-19 00:19:55+00:00)
Title: fix for controller shutdown

Since the pty branch( #322 ) was merged, I have had a consistent error with controller cleanup. To replicate it, start up a simple 2 host mininet topology, and wait for about 5 seconds. Shut mininet down, and try to create another mininet instance. An error should appear stating that there are still controllers running.

I believe this is a race condition between killing the controller with controller.stop() and the shutdown of it's parent process directly afterwards, with node.terminate().