Ticket #24: catch ValueError too, it gets triggered by closed connections
authorClaudio-Daniel Freire <claudio-daniel.freire@inria.fr>
Wed, 13 Apr 2011 14:56:19 +0000 (16:56 +0200)
committerClaudio-Daniel Freire <claudio-daniel.freire@inria.fr>
Wed, 13 Apr 2011 14:56:19 +0000 (16:56 +0200)
src/nepi/util/server.py

index 98f177f..975b01c 100644 (file)
@@ -273,7 +273,7 @@ class Client(object):
         
         try:
             self._process.stdin.write(data)
-        except IOError:
+        except (IOError,ValueError):
             # dead process, poll it to un-zombify
             self._process.poll()