dolfin team mailing list archive
-
dolfin team
-
Mailing list archive
-
Message #23910
Re: lp:dolfin lock
-
To:
Anders Logg <logg@xxxxxxxxx>
-
From:
"Garth N. Wells" <gnw20@xxxxxxxxx>
-
Date:
Wed, 22 Jun 2011 10:41:38 +0100
-
Cc:
DOLFIN Mailing List <dolfin@xxxxxxxxxxxxxxxxxxx>
-
In-reply-to:
<20110622093754.GJ2037@smaug>
-
User-agent:
Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.17) Gecko/20110516 Thunderbird/3.1.10
On 22/06/11 10:37, Anders Logg wrote:
> On Wed, Jun 22, 2011 at 10:31:42AM +0100, Garth N. Wells wrote:
>> When pushing to lp:dolfin, I'm getting the message
>>
>> Unable to obtain lock held by logg@xxxxxxxxxxxxxxxxxxxx
>> at crowberry [process #26649], acquired 36 hours, 43 minutes ago.
>>
>> Anyone know what's up?
>
> Have you tried breaking it with break-lock?
>
Yes, the break works.
It's seems that it can happen if someone interupts their push (e.g. ctr-c).
Garth
> --
> Anders
Follow ups
References
