The code managing this situation actually has the information about the PIDs of the running processes.
Samuele, do you think we should print them as part of the error message?
The code managing this situation actually has the information about the PIDs of the running processes.
Samuele, do you think we should print them as part of the error message?