Repair mysql.proc

Through a disk error in my virtual machine, a part of my MySQL database got corrupted. When running my application I run into the following error:

Next exception 'Doctrine\DBAL\Driver\PDOException' with message  
'SQLSTATE[HY000]: General error: 145 Table './mysql/proc' is marked  
as crashed and should be repaired' in ...  

To repair it you can run the following sql command:

repair table mysql.proc;  

and should get this result:

| Table      | Op     | Msg_type | Msg_text |
| mysql.proc | repair | status   | OK       |
1 row in set (0.00 sec)  
comments powered by Disqus