diff options
| author | Kevin Adler <kadler@us.ibm.com> | 2019-02-18 10:32:38 -0600 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-03-01 14:51:15 +0100 |
| commit | 006355c9fa0d1cd8aef86a97c162053e7d2d896e (patch) | |
| tree | 83d8b12339eeba2f1ca231d1a0b9e6f7e5cc614e /sapi/fpm/fpm | |
| parent | 7d001aff03168260c9bfbd53a118f5de2566e264 (diff) | |
| download | php-git-006355c9fa0d1cd8aef86a97c162053e7d2d896e.tar.gz | |
Fix bug #77677: WCOREDUMP not available on all systems
Add #ifdef WCOREDUMP around all uses.
Also Change core dump message to yes/no/unknown in lsapilib.
Diffstat (limited to 'sapi/fpm/fpm')
| -rw-r--r-- | sapi/fpm/fpm/fpm_children.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/sapi/fpm/fpm/fpm_children.c b/sapi/fpm/fpm/fpm_children.c index bda85ef5a8..eed0c6757a 100644 --- a/sapi/fpm/fpm/fpm_children.c +++ b/sapi/fpm/fpm/fpm_children.c @@ -204,7 +204,11 @@ void fpm_children_bury() /* {{{ */ } else if (WIFSIGNALED(status)) { const char *signame = fpm_signal_names[WTERMSIG(status)]; +#ifdef WCOREDUMP const char *have_core = WCOREDUMP(status) ? " - core dumped" : ""; +#else + const char* have_core = ""; +#endif if (signame == NULL) { signame = ""; |