On Sat, 2009-10-31 at 13:14 +1100, Bojan Smojver wrote:
> Actually, we can just reuse WORKER_SIGNAL for all this.

And even simpler.

-- 
Bojan