mirror of
https://github.com/MariaDB/server.git
synced 2025-11-12 10:22:39 +03:00
'mysql.proc' doesn't exist.
The mysql_rm_db() doesn't seem to expect the 'mysql' database
to be deleted. Checks for that added.
Also fixed the bug MDEV-11105 Table named 'db'
has weird side effect.
The db.opt file now removed separately.
8.2 KiB
8.2 KiB