diff --git a/mininet/node.py b/mininet/node.py index 3950d95762f5733edadb71e1ee669dcbba465d06..d5b30362ac918bacc3bbaaedf04653fec6600462 100644 --- a/mininet/node.py +++ b/mininet/node.py @@ -329,10 +329,7 @@ def popen( self, *args, **kwargs ): # Shell requires a string, not a list! if defaults.get( 'shell', False ): cmd = ' '.join( cmd ) - old = signal.signal( signal.SIGINT, signal.SIG_IGN ) - popen = Popen( cmd, **defaults ) - signal.signal( signal.SIGINT, old ) - return popen + return Popen( cmd, **defaults ) def pexec( self, *args, **kwargs ): """Execute a command using popen