cadofactor complains about clients it just launched in multiple groups
Imported issue: Initially reported by Nadia Heninger in https://gforge.inria.fr/tracker/?group_id=2065&aid=19261
When using the params file to specify multiple groups of clients to be launched, a warning message will be displayed after every group is launched complaining about all of the clients it just launched in the previous round.
Eg:
...
Info:Client Launcher: Starting client id lattice0+20 on host lattice0
...
Info:Client Launcher: Running clients: lattice0+20 (Host lattice0, PID 39176) ...
...
Warning:Client Launcher: Client id lattice0+20 (Host lattice0, PID 39176), launched in a previous run and not meant to be launched this time, is still running