Windowsを再起動した後で、XAMPPを起動したところ、MySQLがエラーでスタートしてくれない。
13:31:31 [mysql] Error: MySQL shutdown unexpectedly. 13:31:31 [mysql] This may be due to a blocked port, missing dependencies, 13:31:31 [mysql] improper privileges, a crash, or a shutdown by another method. 13:31:31 [mysql] Press the Logs button to view error logs and check 13:31:31 [mysql] the Windows Event Viewer for more clues 13:31:31 [mysql] If you need more help, copy and post this 13:31:31 [mysql] entire log window on the forums
Logsボタンでログを見てみる。MySQL関係のエラーを見つけた。
2020-07-04 13:24:54 0 [ERROR] mysqld.exe: Aria recovery failed. Please run aria_chk -r on all Aria tables and delete all aria_log.######## files 2020-07-04 13:24:54 0 [ERROR] Plugin 'Aria' init function returned error. 2020-07-04 13:24:54 0 [ERROR] Plugin 'Aria' registration as a STORAGE ENGINE failed.
mysqld.exe が何かのリカバリーに失敗したと言っている。
aria_chk -r をすべてのテーブルに行って、その後に aria_log.* ファイルを全部削除しろという指示だ。
XAMPPのフォルダのなかの mysql\bin に aria_chk.exe があった。
mysql\data のなかにいくつかサブフォルダがあり、その中にテーブルデータがある。
例えば xampp\mysql\data\mysql にカレントディレクトリを移して、
..\..\bin\aria_chk -r *.*
を実行する（乱暴）。
その他にも、xampp\mysql\data\テーブル名 というフォルダがあるので、同じことを実行する。
最後に xampp\msql\data にある aria_log.* を削除した。
これでエラーがなくなった。