Re: [PATCH v14 15/21] index-helper: kill mode

2016-07-06 Thread Duy Nguyen
On Wed, Jul 6, 2016 at 10:20 AM, Johannes Schindelin wrote: > BTW I am in the middle of trying to abstract out a "simple server" that > will allow me to back the inter-process communication by a pure Windows > solution (named pipes) instead of the Unix sockets. It turns out to be > much more diffi

Re: [PATCH v14 15/21] index-helper: kill mode

2016-07-06 Thread Johannes Schindelin
Hi Dave, On Sun, 3 Jul 2016, David Turner wrote: > @@ -357,10 +359,29 @@ static const char * const usage_text[] = { > NULL > }; > > +static void request_kill(void) > +{ > + int fd = unix_stream_connect(git_path("index-helper.sock")); > + > + if (fd >= 0) { > + write_i