[PATCH V2] commandserver: do not handle EINTR for selector.select

[Yuya Nishihara]

On Sun, 16 Jul 2017 11:23:40 -0700, Jun Wu wrote:
> # HG changeset patch
> # User Jun Wu <quark at fb.com>
> # Date 1500229020 25200
> #      Sun Jul 16 11:17:00 2017 -0700
> # Node ID 3fce51f52763323f1ff2e233e44aa926c2095d05
> # Parent  d09de637cbc88ed2db989298115d0c0cb6cc6f27
> # Available At https://bitbucket.org/quark-zju/hg-draft
> #              hg pull https://bitbucket.org/quark-zju/hg-draft -r 3fce51f52763
> commandserver: do not handle EINTR for selector.select

Queued, thanks.