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> | 2019-04-09 00:49:25 +0100 |
commit | 50da027a4282f446fb20a1f66cd8b74cdfe4ff77 (patch) | |
tree | 745117beaf7f8912f32ed6c91116f9440f46b5c3 | |
parent | c0cab90bffc6c55abf6ce1730fb66b000a46dd2d (diff) | |
download | gnu-guix-50da027a4282f446fb20a1f66cd8b74cdfe4ff77.tar gnu-guix-50da027a4282f446fb20a1f66cd8b74cdfe4ff77.tar.gz |
Use a pid file in the mysql service
-rw-r--r-- | gnu/services/databases.scm | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/gnu/services/databases.scm b/gnu/services/databases.scm index c98b364211..131b07d359 100644 --- a/gnu/services/databases.scm +++ b/gnu/services/databases.scm @@ -654,7 +654,7 @@ storage: (($ <mysql-configuration> 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 ")))) @@ -671,7 +671,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) @@ -722,8 +722,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 |