Comment 4 for bug 1965468

Revision history for this message
Alberto Mardegan (mardy) wrote :

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?