From edaffaa322d9e8f921c190698e37610de9320c6d 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 | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/gnu/services/databases.scm b/gnu/services/databases.scm index 06abe90dfa..11488fc5fd 100644 --- a/gnu/services/databases.scm +++ b/gnu/services/databases.scm @@ -724,8 +724,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=/run/mysqld/pid") + #:user "mysql" + #:group "mysql" + #:pid-file "/run/mysqld/pid"))) (stop #~(make-kill-destructor))))) (define mysql-service-type -- cgit v1.2.3