EDIT it started working by itself. I can't see how to delete or flag this question.
Mariadb is up and running on CentOS 7
$ ps aux | grep mysqld
mysql 4249 0.0 9.0 841448 89576 pts/0 Sl 12:25 0:00 /usr/libexec/mysqld ...snip...
$ mysqladmin ping && echo ok
mysqld is alive
ok
But when I try to stop it.
$ sudo systemctl stop mariadb.service && echo ok
ok
Running systemctl status mariadb
before and after shows that this line has been logged:
Nov 17 13:02:31 sk-test1 systemd[1]: Stopped MariaDB database server.
Nevertheless, the above ps/ping command shows mysqld is still running with the same PID.
Why won't the service stop?