diff --git a/mininet/node.py b/mininet/node.py index 7f8125dc4c3133d824aa80ac11497b4d415350ea..4e50fad38a009a3740c918c0fc1b0cc282970b47 100644 --- a/mininet/node.py +++ b/mininet/node.py @@ -263,6 +263,9 @@ def monitor( self, timeoutms=None, findPid=True ): # Look for PID marker = chr( 1 ) + r'\d+\r\n' if findPid and chr( 1 ) in data: + # Marker can be read in chunks; continue until all of it is read + while not re.findall( marker, data ): + data += self.read( 1024 ) markers = re.findall( marker, data ) if markers: self.lastPid = int( markers[ 0 ][ 1: ] )