mininet/mininet — pull request #379 by cdburkard (2014-09-15 23:16:10+00:00)
Title: adding 'ports' command to cli

fixes #219

Seems a little redundant since we have dpctl, but I thought I would put it up for some thought since we have an open issue for it. It also would be easier to parse this output than the output of dpctl.