[webkit-dev] Gtk 32-bit Release Bot Wedged
eric at webkit.org
Thu May 20 12:38:23 PDT 2010
Thank you. Maybe run-webkit-tests should check to make sure plusaudio
is around before running? Or is that specific to that machine's
Thank you for looking into it.
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:
>> 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.
> Gustavo Noronha Silva <gns at gnome.org>
> GNOME Project
More information about the webkit-dev