[webkit-dev] Gtk 32-bit Release Bot Wedged

[Eric Seidel]

Thank you.  Maybe run-webkit-tests should check to make sure plusaudio
is around before running?  Or is that specific to that machine's
config?

Thank you for looking into it.

-eric

On Thu, May 20, 2010 at 7:12 AM, Gustavo Noronha Silva <gns at gnome.org> wrote:
> On Thu, 2010-05-20 at 00:20 -0700, Eric Seidel wrote:
>> The Gtk 32-bit Release bot has wedged itself.  If someone could kick
>> it that would be grand:
>> http://build.webkit.org/results/GTK%20Linux%2032-bit%20Release/r59822%20(13001)/results.html
>>
>> Do we understand why this happens so we can prevent it in the future
>> (this is not the first time)?
>
> I kicked it. What happened was pulseaudio died. What I'll do is I'll
> have a daemon monitor make sure the pulseaudio server is running at all
> times, and automatically restart it if it drops again, since I could not
> investigate this bug.
>
> If this kind of thing happens when I'm not around, poking infinity or
> Mithrandir (IRC names of people who are also admins of the machines) is
> an option. They are always in #telepathy at FreeNode.
>
> Thanks!
>
> --
> Gustavo Noronha Silva <gns at gnome.org>
> GNOME Project
>
>