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 <[email protected]> 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 <[email protected]> > GNOME Project > > _______________________________________________ webkit-dev mailing list [email protected] http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev
