terminatePids method

void terminatePids(
  1. ProcessSignal signal
)

Terminates all processes with the PIDs registered in pidsToTerminate.

Implementation

void terminatePids(ProcessSignal signal) {
  // TODO(dantup): In Dart-Code DAP, we first try again with sigint and wait
  // for a few seconds before sending sigkill.
  for (var pid in pidsToTerminate) {
    // Skip any negative pids. On Linux, kill -1 means kill everything that
    // you can. See https://github.com/dart-lang/sdk/issues/55209 for details.
    if (pid >= 0) {
      Process.killPid(pid, signal);
    }
  }
}