_RunCmdPipe: handle EINTR in poller.poll()
authorGuido Trotter <ultrotter@google.com>
Tue, 16 Dec 2008 16:24:22 +0000 (16:24 +0000)
committerGuido Trotter <ultrotter@google.com>
Tue, 16 Dec 2008 16:24:22 +0000 (16:24 +0000)
commitbf988c29bbcd6a5737a1145db58ec8108133319c
treee66a99e2c7b7722b8b82afe84c26240e6ac490b2
parent14aa53cbf83ea1fce32142fa44cf9c63bc2a1b9b
_RunCmdPipe: handle EINTR in poller.poll()

poll() can be interrupted. rather than failing we retry until it
returns.

Reviewed-by: iustinp
lib/utils.py