dolfin team mailing list archive

["Ilmar Wilbers" <ilmarw@xxxxxxxxx>]

> On Mon, Jul 14, 2008 at 09:53:33PM +0100, Garth N. Wells wrote:
>> The linux_32 buildbot failed over the weekend. I fixed the problem, but
>> does the linux_32 buildbot need to be restarted? It hasn't run since
>> Saturday.
>>
>> Garth
>
> It looks strange. It says "waiting 6 pending".
>
> I don't know how to restart it or check for the error but I'm sure
> Ilmar can fix it when he gets a chance. (But I suspect he's also
> on vacation.)
>

Jepp, will be back tomorrow. Would have restarted from where I am, but am
missing the ssh keys.

ilmar