← Back to team overview

maria-developers team mailing list archive

Thread
Date

[Patch] Fix to mysql.server init script

To: maria-developers@xxxxxxxxxxxxxxxxxxx
From: Alangi Derick <alangiderick@xxxxxxxxx>
Date: Fri, 21 Aug 2015 02:19:35 +0100

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.

Regards
Alangi Derick Ndimnain

Attachment: mysql_replaced_with_mariadb.patch
Description: Binary data