[WIP] Ignore broken pipes

tueda · Aug 21, 2015 · a34fab1 · a34fab1
1 parent 5a91b3b
commit a34fab1
Showing 1 changed file with 21 additions and 13 deletions.
diff --git a/form/form.py b/form/form.py
@@ -224,19 +224,27 @@ def close(self):
         should call this method after use of FormLink objects.
         """
         if not self._closed:
-            self._parentout.write(self._PROMPT)
-            self._parentout.flush()
-            os.waitpid(self._childpid, 0)
-            self._parentin.close()
-            self._parentout.close()
-            self._loggingin.close()
-
-            self._closed = True
-            self._log = None
-            self._childpid = None
-            self._parentin = None
-            self._parentout = None
-            self._loggingin = None
+            try:
+                try:
+                    self._parentout.write(self._PROMPT)
+                    self._parentout.flush()
+                except IOError as e:
+                    # Ignore broken pipes.
+                    if e.errno == errno.EPIPE:
+                        pass
+                    else:
+                        raise
+                os.waitpid(self._childpid, 0)
+                self._parentin.close()
+                self._parentout.close()
+                self._loggingin.close()
+            finally:
+                self._closed = True
+                self._log = None
+                self._childpid = None
+                self._parentin = None
+                self._parentout = None
+                self._loggingin = None
 
     def write(self, script):
         """Sends a script to FORM.