mininet/mininet — pull request #235 by moijes12 (2013-10-26 10:06:11+00:00)
Title: Fix for https://github.com/mininet/mininet/issues/185

These changes are for https://github.com/mininet/mininet/issues/185 .
String equivalents of dumpNetConections and dumpNodeConnections have been added to util.py. It is now possible to retrieve as a list of strings, the connections for the hosts or entire network.