clear timers

Author: withinboredom

Zend/zend_max_execution_timer.c

@@ -97,6 +97,15 @@ void zend_max_execution_timer_shutdown(void) /* {{{ */
 	if (err != 0) {
 		zend_strerror_noreturn(E_ERROR, errno, "Could not delete timer");
 	}
+
+	struct sigaction ign_sigrtmin, prev;
+	ign_sigrtmin.sa_handler = SIG_IGN;
+	ign_sigrtmin.sa_flags = 0;
+	sigemptyset(&ign_sigrtmin.sa_mask);
+
+	if(sigaction(SIGRTMIN, &ign_sigrtmin, &prev) < 0) {
+		zend_strerror_noreturn(E_ERROR, errno, "Could not clear pending timer signal");
+	}
 }
 /* }}}} */