From: Michael Haggerty Date: Wed, 02 Apr 2014 11:36:24 GMT Subject: Re: [PATCH 09/22] api-lockfile: expand the documentation Message-ID: <533BF638.5060506@alum.mit.edu> In-Reply-To: <20140401201906.GF21715@sigill.intra.peff.net> On 04/01/2014 10:19 PM, Jeff King wrote: > On Tue, Apr 01, 2014 at 05:58:17PM +0200, Michael Haggerty wrote: > >> +unable_to_lock_error:: >> + >> + Emit an error describing that there was an error locking the >> + specified path. The err parameter should be the errno of the >> + problem that caused the failure. >> + >> +unable_to_lock_index_die:: >> + >> + Like `unable_to_lock_error()`, but also `die()`. > > Should this last one lost the "index" in its name? I think it is > vestigial at this point. Yes. Will be done in re-roll. Michael -- Michael Haggerty mhagger@alum.mit.edu http://softwareswirl.blogspot.com/