5 Jan
2007
5 Jan
'07
2:52 p.m.
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