Revision 859bfea5 mininet/node.py

View differences:

mininet/node.py
261 261
        # Look for PID
262 262
        marker = chr( 1 ) + r'\d+\r\n'
263 263
        if findPid and chr( 1 ) in data:
264
            while not re.findall( marker, data ):
265
                data += self.read( 1024 )
264 266
            markers = re.findall( marker, data )
265 267
            if markers:
266 268
                self.lastPid = int( markers[ 0 ][ 1: ] )

Also available in: Unified diff