Hm, I think I'll write some timeout killer for the event queue jobs; they already cary a timestamp of their last activity so that should work straight ahead.

We will then see whether the kill facility works properly ;-)

Reply via email to