[Timber] Re: Failing configure in Timber

[Johan Nordlander]

> It seems to be working fine now. Can you email me as soon as you  
> see any problem, because explicitly galois maintain this machine,
> specifically to help the GHC crowd.

Seems like I can log on without problems, but trying "darcs push -v"  
as I've done before results in the following output:

   Waiting for lock /srv/darcs/timber/_darcs/lock
   [Numrous identical lines]
   Waiting for lock /srv/darcs/timber/_darcs/lock
   Couldn't get lock /srv/darcs/timber/_darcs/lock

Don't know how this works but it seems like some bad lock file is in  
the way.  Tried to manually remove the file mentioned, but the result  
is just that darcs hangs (and a new lock file is created).

Has anybody managed to push something lately?

-- Johan