← Back to team overview

dolfin team mailing list archive

Re: lp:dolfin lock

 

On Wed, Jun 22, 2011 at 10:41:38AM +0100, Garth N. Wells wrote:
>
>
> 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).

Aha... Now I remember. I accidentally pushed the book to lp:dolfin
yesterday, then went to get a snack. When I came back it was still
pushing which is when I noted I pushed to the wrong repository.

It's interesting that it's possible to push to a completely different
repository.

--
Anders



References