dolfin team mailing list archive

[Harish Narayanan <harish.mlists@xxxxxxxxx>]

dyresen@xxxxxxxxx wrote:
>> On Tue, Nov 17, 2009 at 08:57:37PM +0100, Anders Logg wrote:
>>> On Tue, Nov 17, 2009 at 08:39:06PM +0100, dyresen@xxxxxxxxx wrote:
>>>> Testing antispam/virus/etc just ignore
>>> Can we get the home directories back up so we can push?
>> We couldn't wait to set up a temporary repository that will be used
>> until everything is back in working order:
>>
>>   http://bitbucket.org/dolfin/dolfin/
>>
>>
> 
> Great!
> 
> $HOME will be back up tomorrow. It keeps failing when syncing, so I have
> to take'em bit by bit.

Is there any consensus on what the problem with the server was? I've
never seen these interesting errors where if something fails, you just
try a few times and eventually it will work (log-ins, downloads, hg
pulls, web page reloads, whatever).

Harish