On Thu, 20 May 2010 11:12:01 -0300
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.

When we set up the Gtk+ debug bots, I was a bit concerned about the
fact that Pulseaudio or Xvfb could die, so I decided to run them under
daemontools [1], which nicely restarts services when they crash. I can
share the supervise scripts if, just ask if you want to a similar setup.
Also, we ended up running Buildbot itself and a small crash dump grabber
under daemontools, too.

Cheers,


---
[1] http://cr.yp.to/daemontools.html

-- 
Adrian Perez <[email protected]>
Igalia - Free Software Engineering

Attachment: signature.asc
Description: PGP signature

_______________________________________________
webkit-dev mailing list
[email protected]
http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev

Reply via email to