diff options
| author | Arun Isaac | 2023-02-09 09:12:28 +0000 |
|---|---|---|
| committer | Arun Isaac | 2023-02-09 09:44:40 +0000 |
| commit | d968a5bbb969a3032f4460afcb294e4672dc5aa6 (patch) | |
| tree | 3a730c6742f4fe55fb1363b400efa5e9270f2461 /production-deploy.sh | |
| parent | 18ebcea38dca7b1a5ba8be3bdc70b4369674336e (diff) | |
| download | gn-machines-d968a5bbb969a3032f4460afcb294e4672dc5aa6.tar.gz | |
Share the mysqld socket directory into the container.
We ought to share the mysqld socket directory into the container, not
the socket itself. If we only shared the socket, when the mysql server
is restarted and a new socket is created, the bind mounting into the
container would break and the container would need to be restarted.
* genenetwork-development-deploy.sh: Share /var/run/mysqld, not
/var/run/mysqld/mysqld.sock.
* genenetwork-development.scm (genenetwork-shepherd-services): Share
/run/mysqld, not /run/mysqld/mysqld.sock.
Diffstat (limited to 'production-deploy.sh')
0 files changed, 0 insertions, 0 deletions