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.