mininet/mininet — pull request #443 by cdburkard (2014-11-18 02:02:52+00:00)
Title: use rcmd instead of quietRun when shutting down remote nodes

fixes #441
When using quietRun, we do not actually delete root interfaces on a remote Node because the command is only run locally.

This exposes another issue with rcmd, which seems to be taking upwards of 10 seconds to run a command and return it's output. This is a separate issue, which I have opened with #442