From e9d034bd3144446d675317027d3660f7a16ca859 Mon Sep 17 00:00:00 2001 From: cody burkard <cody@onlab.us> Date: Thu, 24 Jul 2014 16:30:48 -0700 Subject: [PATCH] adding old changes --- mininet/node.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/mininet/node.py b/mininet/node.py index 4eb27ade..48424e70 100644 --- a/mininet/node.py +++ b/mininet/node.py @@ -329,7 +329,10 @@ def popen( self, *args, **kwargs ): # Shell requires a string, not a list! if defaults.get( 'shell', False ): cmd = ' '.join( cmd ) - return Popen( cmd, **defaults ) + old = signal.signal( signal.SIGINT, signal.SIG_IGN ) + popen = Popen( cmd, **defaults ) + signal.signal( signal.SIGINT, old ) + return popen def pexec( self, *args, **kwargs ): """Execute a command using popen -- GitLab