-
Matthias Käppler authored
This fixes a problem where the same live pids were added over and over again to the list of supervised processes.
7cce22b0
This fixes a problem where the same live pids were added over and over again to the list of supervised processes.