← Back to team overview

maria-developers team mailing list archive

[Patch] Fix to mysql.server init script


This is a fix to the bug in the mysql.server init script which uses a
wrong server name (MySQL) instead of MariaDB. It is not fixed and this
is the patch below.

Alangi Derick Ndimnain

Attachment: mysql_replaced_with_mariadb.patch
Description: Binary data