pidsToTerminate property

Set<int> pidsToTerminate
final

Process IDs to terminate during shutdown.

This may be populated with pids from the VM Service to ensure we clean up properly where signals may not be passed through the shell to the underlying VM process. https://github.com/Dart-Code/Dart-Code/issues/907

Implementation

final pidsToTerminate = <int>{};