Re: [PATCH 09/22] api-lockfile: expand the documentation
On 04/01/2014 10:19 PM, Jeff King wrote:
Show 14 quoted lines
> 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/