[Maria-developers] [Patch] Fix to mysql.server init script

20 Aug 2015


      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