Merge pull request #2554 from ludovic-henry/coop-blocking-interrupt