Sai per caso come si chiama? Ho trovato svariati .pid, ma non vorrei cancellarli a caso...
(NB: oggi ho disinstallato e reinstallato mysql più volte nel tentativo di pulire il sistema... niente)
Grazie,
Davide