mininet/mininet — pull request #291 by backb1 (2014-03-26 12:27:40+00:00)
Title: Print more information 

Helpful for debugging