dolfin team mailing list archive
-
dolfin team
-
Mailing list archive
-
Message #23911
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