From 8b1c7bf63556daee7a273133a0fb9bf006c44ef0 Mon Sep 17 00:00:00 2001 From: Christopher Baines Date: Sun, 20 May 2018 17:22:28 +0100 Subject: Use a pid file in the mysql service --- gnu/services/databases.scm | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/gnu/services/databases.scm b/gnu/services/databases.scm index 10c7f7e671..ab63019f77 100644 --- a/gnu/services/databases.scm +++ b/gnu/services/databases.scm @@ -556,7 +556,7 @@ storage: (($ mysql port) (mixed-text-file "my.cnf" "[mysqld] datadir=/var/lib/mysql -socket=/run/mysqld/mysqld.sock +socket=/var/run/mysql/mysqld.sock port=" (number->string port) " max_allowed_packet=16M ")))) @@ -573,7 +573,7 @@ max_allowed_packet=16M (uid (passwd:uid user)) (gid (passwd:gid user)) (datadir "/var/lib/mysql") - (rundir "/run/mysqld")) + (rundir "/var/run/mysql")) (mkdir-p datadir) (chown datadir uid gid) (mkdir-p rundir) @@ -624,8 +624,11 @@ FLUSH PRIVILEGES; (my.cnf (mysql-configuration-file config))) #~(make-forkexec-constructor (list (string-append #$mysql "/bin/mysqld") - (string-append "--defaults-file=" #$my.cnf)) - #:user "mysql" #:group "mysql"))) + (string-append "--defaults-file=" #$my.cnf) + "--pid-file=/var/run/mysql/pid") + #:user "mysql" + #:group "mysql" + #:pid-file "/var/run/mysql/pid"))) (stop #~(make-kill-destructor))))) (define mysql-service-type -- cgit v1.2.3