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 <g...@gnome.org> GNOME Project _______________________________________________ webkit-dev mailing list webkit-dev@lists.webkit.org http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev