be sure brained/patched mules are killed when the master dies

2026-09-06 13:41:28 +00:00 · 2012-06-13 11:04:35 +02:00
parent 8e10efd027
commit aaaef51f2a
1 changed files with 5 additions and 0 deletions
@@ -36,6 +36,11 @@ void uwsgi_mule(int id) {

 	pid_t pid = uwsgi_fork(uwsgi.mules[id-1].name);
 	if (pid == 0) {
+#ifdef __linux__
+                if (prctl(PR_SET_PDEATHSIG, SIGKILL, 0,0,0)) {
+                        uwsgi_error("prctl()");
+                }
+#endif
 		uwsgi.muleid = id;
 		// avoid race conditions
 		uwsgi.mules[id-1].id = id;