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-05-23 22:57:12 +0100 |
| commit | edaffaa322d9e8f921c190698e37610de9320c6d (patch) | |
| tree | 9b4e8f529ccf34083c788045efe3aad549b0d066 /gnu | |
| parent | de00a111ec1ecc33c5d9d82a0b8fb07b2ed2289d (diff) | |
| download | gnu-guix-edaffaa322d9e8f921c190698e37610de9320c6d.tar gnu-guix-edaffaa322d9e8f921c190698e37610de9320c6d.tar.gz | |
Use a pid file in the mysql service
Diffstat (limited to 'gnu')
| -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 |