0091: next fix for tools not stopping @stopwork