dyre...@simula.no wrote: >> On Tue, Nov 17, 2009 at 08:57:37PM +0100, Anders Logg wrote: >>> On Tue, Nov 17, 2009 at 08:39:06PM +0100, dyre...@simula.no 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 _______________________________________________ DOLFIN-dev mailing list DOLFIN-dev@fenics.org http://www.fenics.org/mailman/listinfo/dolfin-dev
