Correctly handle xterm creation with new makeTerm interface.
This commit is contained in:
@@ -22,7 +22,7 @@ from mininet.node import Controller, NOX
|
|||||||
from mininet.topo import Topo
|
from mininet.topo import Topo
|
||||||
from mininet.topolib import TreeTopo
|
from mininet.topolib import TreeTopo
|
||||||
from mininet.util import quietRun, ipStr
|
from mininet.util import quietRun, ipStr
|
||||||
from mininet.xterm import makeXterm, cleanUpScreens
|
from mininet.term import makeTerm, cleanUpScreens
|
||||||
|
|
||||||
class MiniEdit( Frame ):
|
class MiniEdit( Frame ):
|
||||||
|
|
||||||
@@ -594,7 +594,7 @@ class MiniEdit( Frame ):
|
|||||||
name = self.itemToWidget[ self.selection ][ 'text' ]
|
name = self.itemToWidget[ self.selection ][ 'text' ]
|
||||||
if name not in self.net.nameToNode:
|
if name not in self.net.nameToNode:
|
||||||
return
|
return
|
||||||
makeXterm( self.net.nameToNode[ name ], 'Mininet: ' )
|
self.net.terms.append( makeTerm( self.net.nameToNode[ name ], 'Host' ) )
|
||||||
|
|
||||||
# Image data. Git will be unhappy.
|
# Image data. Git will be unhappy.
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user