python: Ignore EINTR in serveloop.