diff options
author | Madelyn Olson <34459052+madolson@users.noreply.github.com> | 2022-11-27 08:57:50 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-11-27 08:57:50 -0800 |
commit | fbdebc1d74f9cd3badeece9f86a668f9dbb491d8 (patch) | |
tree | a411b56ab3682f2f0d0f650bf91a8be352f41a9d | |
parent | a7cecf37133869d8de3bdcc54626e101989d1140 (diff) | |
download | redis-fbdebc1d74f9cd3badeece9f86a668f9dbb491d8.tar.gz |
Add log message when PID file fails to create (#11544)
Add an error message when PID file fails to be written. This has historically been considered a best effort failure, but we don't even report the failure.
-rw-r--r-- | src/server.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/server.c b/src/server.c index bc85a3778..dd0515412 100644 --- a/src/server.c +++ b/src/server.c @@ -6171,6 +6171,8 @@ void createPidFile(void) { if (fp) { fprintf(fp,"%d\n",(int)getpid()); fclose(fp); + } else { + serverLog(LL_WARNING, "Failed to write PID file: %s", strerror(errno)); } } |