diff options
author | Christopher Baines <mail@cbaines.net> | 2018-05-20 17:22:28 +0100 |
---|---|---|
committer | Christopher Baines <christopher.baines@digital.cabinet-office.gov.uk> | 2020-03-31 21:41:49 +0100 |
commit | e56c9c198a97c0892b7ffb357116973a91052bfe (patch) | |
tree | 5d380c2b0230d61d21369df9322cb79ad4e72fb6 | |
parent | 0ab7c4bc4c61e44946dbe94d39b44ed56bdbb685 (diff) | |
download | gnu-guix-e56c9c198a97c0892b7ffb357116973a91052bfe.tar gnu-guix-e56c9c198a97c0892b7ffb357116973a91052bfe.tar.gz |
Use a pid file in the mysql service
-rw-r--r-- | gnu/services/databases.scm | 7 |
1 files 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 |