mininet/mininet — pull request #244 by moijes12 (2013-11-13 12:30:42+00:00)
Title: Fix in mininet/mininet/util.py for #185

This pull request contains a proposed fix for #185. String equivalents of dumpNetConnections and dumpNodeConnections have been implemented which return the node connections and network connections as a list of strings.