Re: Clean termination of remote-helpers (was Re: [PATCH 2/2] Add a remote helper to interact with mediawiki (fetch & push))
- From
Sverre Rabbelier <srabbelier@gmail.com>
- Date
- Aug 31, 2011, 15:00 UTC
- Message-ID
- <CAGdFq_giHLBgGOLDhj3zuxV0pnJ8twDfY7DD9ckfp4s4O7E8_g@mail.gmail.com>
- In-Reply-To
- <vpqty8x3a5b.fsf@bauges.imag.fr>
Heya,
On Wed, Aug 31, 2011 at 16:53, Matthieu Moy <Matthieu.Moy@grenoble-inp.fr> wrote:
> So it seems the only bug I've found is insufficient documentation. A > patch follows.
Yay! Thanks :)
-- Cheers, Sverre Rabbelier