lab/mininet
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

Merge pull request #872 from dsaucez/patch-2

Browse Source 
change isShellBuiltin
This commit is contained in:
lantz
2019-04-25 20:16:31 -07:00
committed by GitHub
parent c5f23b9f82 7c0d1506e7
commit e203808a20
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
mininet/util.py
+1 -1
View File
@@ -181,7 +181,7 @@ def which(cmd, **kwargs ):
def isShellBuiltin( cmd ): def isShellBuiltin( cmd ):
"Return True if cmd is a bash builtin." "Return True if cmd is a bash builtin."
if isShellBuiltin.builtIns is None: if isShellBuiltin.builtIns is None:
isShellBuiltin.builtIns = quietRun( 'bash -c enable' ) isShellBuiltin.builtIns = set(quietRun( 'bash -c enable' ).split())
space = cmd.find( ' ' ) space = cmd.find( ' ' )
if space > 0: if space > 0:
cmd = cmd[ :space] cmd = cmd[ :space]