Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Revert the default PID file back to the real default #275

Merged
merged 1 commit into from
Apr 9, 2024

Conversation

madolson
Copy link
Member

@madolson madolson commented Apr 9, 2024

The default pid file is created at /var/run/redis.pid based on the code at

#define CONFIG_DEFAULT_PID_FILE "/var/run/redis.pid"
. Until we update it, we should reflect that in the conf file.

Signed-off-by: Madelyn Olson <madelyneolson@gmail.com>
@madolson madolson requested review from zuiderkwast and hwware April 9, 2024 15:10
@hwware
Copy link
Member

hwware commented Apr 9, 2024

Yes, we need keep them same.

@madolson madolson merged commit 03650e9 into valkey-io:unstable Apr 9, 2024
14 checks passed
madolson added a commit that referenced this pull request Apr 9, 2024
The default pid file is created at /var/run/redis.pid based on the code
at
https://github.com/valkey-io/valkey/blob/da831c0d2242251be84a5d7f14f954c6c7fa8ee8/src/server.h#L132.
Until we update it, we should reflect that in the conf file.

Signed-off-by: Madelyn Olson <madelyneolson@gmail.com>
PatrickJS pushed a commit to PatrickJS/placeholderkv that referenced this pull request Apr 24, 2024
The default pid file is created at /var/run/redis.pid based on the code
at
https://github.com/valkey-io/valkey/blob/da831c0d2242251be84a5d7f14f954c6c7fa8ee8/src/server.h#L132.
Until we update it, we should reflect that in the conf file.

Signed-off-by: Madelyn Olson <madelyneolson@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: Backported
Development

Successfully merging this pull request may close these issues.

3 participants