Fix worker.pause

[jo]

The worker can be paused from the outside via worker.pause() and resumed via worker.resume().

Currently if this happens during processing, the worker will resume due to a bug.