SIGN IN SIGN UP

Introduce interruptor tool

An interruptor instance will help to wake up a blocking call from
another thread (typically to terminate immediately on Ctrl+C).
R
Romain Vimont committed
e0896142dbbbadd87a6339111a406307edca1b97
Parent: 0426708