Updated by Vincent MEMBRÉ almost 7 years ago
There was a bug in the resolution of #10498 We are checking that /proc/$PID is a file and not a directory
Back