Example:
int[] pids = [1234, 5678, 9012];
int terminated = waitForAnyProcess(pids, 10.seconds);
if (terminated >= 0) {
writeln("Process ", terminated, " terminated");
}int waitForAnyProcess(int[] pids, Duration timeout = Duration.max)Convenience function to wait for any of the specified processes to terminate.
pids | Array of process IDs to wait for. |
timeout | Maximum time to wait (default: infinite). |
Example:
int[] pids = [1234, 5678, 9012];
int terminated = waitForAnyProcess(pids, 10.seconds);
if (terminated >= 0) {
writeln("Process ", terminated, " terminated");
}