[master] 20d257981 Don't report coredumps if they were disabled.

[Poul-Henning Kamp]

commit 20d25798183131f3b4d325c42447fab66fecb7a5
Author: Poul-Henning Kamp <phk at FreeBSD.org>
Date:   Tue Jun 9 09:27:46 2020 +0000

    Don't report coredumps if they were disabled.
    
    Some operating systems still report core-dumps in process exit-status
    even though the core-dump was eliminated with setrlimit(2).

diff --git a/bin/varnishd/mgt/mgt_child.c b/bin/varnishd/mgt/mgt_child.c
index 9d01f0f03..9c3bbd02d 100644
--- a/bin/varnishd/mgt/mgt_child.c
+++ b/bin/varnishd/mgt/mgt_child.c
@@ -554,7 +554,8 @@ mgt_reap_child(void)
 #ifdef WCOREDUMP
 	if (WCOREDUMP(status)) {
 		VSB_cat(vsb, " (core dumped)");
-		exit_status |= 0x80;
+		if (!MGT_FEATURE(FEATURE_NO_COREDUMP))
+			exit_status |= 0x80;
 		VSC_C_mgt->child_dump++;
 	}
 #endif