valkey
valkey copied to clipboard
Draft: rename redis.pid to valkey.pid
fixes: https://github.com/valkey-io/valkey/issues/321
The PR title is not very correct. It's a changed default filename. (The file is created when the server starts and removed when the server exits. It is not renamed in the file system like mv does.)
This line needs to be updated: https://github.com/valkey-io/valkey/blob/unstable/valkey.conf#L332
Superseeded by #378