From af380c891249b9828e4d455e4d821be263ae784a Mon Sep 17 00:00:00 2001
From: Brandon Heller <brandonh@stanford.edu>
Date: Sat, 13 Mar 2010 16:36:34 -0800
Subject: [PATCH] Show PIDs in dump()

---
 mininet/node.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/mininet/node.py b/mininet/node.py
index 61cd78c..d1f593f 100644
--- a/mininet/node.py
+++ b/mininet/node.py
@@ -343,6 +343,7 @@ class Node( object ):
         result += ' IP=' + str( self.IP() )
         result += ' intfs=' + ','.join( sorted( self.intfs.values() ) )
         result += ' waiting=' + str( self.waiting )
+        result += ' pid=' + str( self.pid )
         return result