mininet/mininet — pull request #376 by cdburkard (2014-09-10 19:07:34+00:00)
Title: if we do not receive a ping and cannot parse output, return errorTuple

fixes #324