exit method

void exit(int code)

The tool exiting with code; a second exit is ignored.

Implementation

void exit(int code) {
  if (!_exit.isCompleted) _exit.complete(code);
}