mininet/mininet — pull request #449 by cdburkard (2014-11-21 20:02:08+00:00)
Title: use ControlPersist ssh option to fix ControlPath shutdown

This allows us to kill nodes individually without worrying about killing the ControlMaster session.

The shortest timeout that we can specify in ControlPersist is 1 second.

fixes #430