On Thu, 2007-07-05 at 13:12 +0200, Alan Barrett wrote: > That looks very useful, but I'd like the background master to exit > after remaining unused for a configurable time. That's a reasonable idea. Why not go ahead and implement it and update the patch in bugzilla? -- dwmw2