interrupt method

void interrupt()

Kills the running child, if any, and releases the lock. For Ctrl-C.

Implementation

void interrupt() {
  _current?.kill();
  lock.release();
}