Merge pull request #376 from cdburkard/patches/pingOutput

if we do not receive a ping and cannot parse output, return errorTuple
2014-09-16 13:43:06 -07:00
parent e4c4891a47 00cbb348a7
commit 2c10a8e687
1 changed files with 2 additions and 0 deletions
@@ -603,6 +603,8 @@ class Mininet( object ):
        r += r'(\d+\.\d+)/(\d+\.\d+)/(\d+\.\d+)/(\d+\.\d+) ms'
        m = re.search( r, pingOutput )
        if m is None:
            if received == 0:
                return errorTuple
            error( '*** Error: could not parse ping output: %s\n' %
                   pingOutput )
            return errorTuple