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

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

2017-07-17 Thread Yuya Nishihara

On Sun, 16 Jul 2017 11:23:40 -0700, Jun Wu wrote: > # HG changeset patch > # User Jun Wu > # Date 1500229020 25200 > # Sun Jul 16 11:17:00 2017 -0700 > # Node ID 3fce51f52763323f1ff2e233e44aa926c2095d05 > # Parent d09de637cbc88ed2db989298115d0c0cb6cc6f27 > # Available At

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

2017-07-16 Thread Jun Wu

# HG changeset patch # User Jun Wu # 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