From 1704541cc9c68589a043429dfd9221dec8cae35e Mon Sep 17 00:00:00 2001
From: "julian.filter" <julian.filter@rwth-aachen.de>
Date: Thu, 9 Apr 2020 17:05:06 +0200
Subject: [PATCH] fix util.errRun

---
 mininet/util.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/mininet/util.py b/mininet/util.py
index c4a5819..3f6c31c 100644
--- a/mininet/util.py
+++ b/mininet/util.py
@@ -157,7 +157,7 @@ def errRun( *cmd, **kwargs ):
         for fd, event in readable:
             f = fdToFile[ fd ]
             decoder = fdToDecoder[ fd ]
-            if event & POLLIN:
+            if event & ( POLLIN | POLLHUP ):
                 data = decoder.decode( f.read( 1024 ) )
                 if echo:
                     output( data )
@@ -169,7 +169,7 @@ def errRun( *cmd, **kwargs ):
                     err += data
                     if data == '':
                         errDone = True
-            else:  # POLLHUP or something unexpected
+            else:  # something unexpected
                 if f == popen.stdout:
                     outDone = True
                 elif f == popen.stderr: