> > It won't handle cases of the backend hanging (which occurs from time > > to time), but it does quite nicely handle cases where the backend crashes. It should be pretty easy to write a script that uses wget to query the backend's http status port to see if it's still alive, or hung.