From e540ab5726bb347c90c70e6a24fa86b9d64aba72 Mon Sep 17 00:00:00 2001
From: Brandon Heller <brandonh@stanford.edu>
Date: Mon, 5 Apr 2010 02:07:23 -0700
Subject: [PATCH] Use quit rather than kill when cleaning up screens

Kill seems to get ignored, while quit kills the detached sessions.
---
 mininet/xterm.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mininet/xterm.py b/mininet/xterm.py
index 8883d83..41210f2 100644
--- a/mininet/xterm.py
+++ b/mininet/xterm.py
@@ -32,7 +32,7 @@ def cleanUpScreens():
     for line in output:
         m = re.search( r, line )
         if m:
-            quietRun( 'screen -S ' + m.group( 1 ) + ' -X kill' )
+            quietRun( 'screen -S ' + m.group( 1 ) + ' -X quit' )
 
 def makeXterms( nodes, title = '' ):
     """Create XTerms.