(pid)
| 519 | function getOwnedLoopPids(discoveredPids) { |
| 520 | var candidates = new Set(); |
| 521 | function addPid(pid) { |
| 522 | var parsed = parseInt(pid, 10); |
| 523 | if (Number.isFinite(parsed) && parsed > 0) candidates.add(parsed); |
| 524 | } |
| 525 | (discoveredPids || []).forEach(addPid); |
| 526 | addPid(readPidFile(PID_FILE)); |
| 527 | try { |