Skip to content
Permalink
Browse files

Merge pull request #872 from dsaucez/patch-2

change isShellBuiltin
  • Loading branch information...
lantz committed Apr 26, 2019
2 parents c5f23b9 + 7c0d150 commit e203808a20e6eec9e4368757cdccce7010eab548
Showing with 1 addition and 1 deletion.
  1. +1 −1 mininet/util.py
@@ -181,7 +181,7 @@ def which(cmd, **kwargs ):
def isShellBuiltin( cmd ):
"Return True if cmd is a bash builtin."
if isShellBuiltin.builtIns is None:
isShellBuiltin.builtIns = quietRun( 'bash -c enable' )
isShellBuiltin.builtIns = set(quietRun( 'bash -c enable' ).split())
space = cmd.find( ' ' )
if space > 0:
cmd = cmd[ :space]

0 comments on commit e203808

Please sign in to comment.
You can’t perform that action at this time.