diff options
| author | Oran Agra <oran@redislabs.com> | 2022-11-12 20:35:34 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-12 20:35:34 +0200 |
| commit | 4c54528f0fb56dec1373ead376a017b59743b04e (patch) | |
| tree | 58e6296c26cfb103e29b831f962d097d9414e3db /src/childinfo.c | |
| parent | 6617f1704ba9ce6d119c033c10cbe1450f0eeedf (diff) | |
| download | redis-4c54528f0fb56dec1373ead376a017b59743b04e.tar.gz | |
fixes for fork child exit and test: #11463 (#11499)
Fix a few issues with the recent #11463
* use exitFromChild instead of exit
* test should ignore defunct process since that's what we expect to
happen for thees child processes when the parent dies.
* fix typo
Co-authored-by: Binbin <binloveplay1314@qq.com>
Diffstat (limited to 'src/childinfo.c')
| -rw-r--r-- | src/childinfo.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/childinfo.c b/src/childinfo.c index e5184ff8b..1303dd043 100644 --- a/src/childinfo.c +++ b/src/childinfo.c @@ -114,7 +114,7 @@ void sendChildInfoGeneric(childInfoType info_type, size_t keys, double progress, if (write(server.child_info_pipe[1], &data, wlen) != wlen) { /* Failed writing to parent, it could have been killed, exit. */ serverLog(LL_WARNING,"Child failed reporting info to parent, exiting. %s", strerror(errno)); - exit(1); + exitFromChild(1); } } |