skip delete when needed

Author: dunglas

Zend/zend_timer.c

@@ -82,6 +82,14 @@ ZEND_API void zend_timer_settime(zend_long seconds) /* {{{ }*/
 ZEND_API void zend_timer_delete(void) /* {{{ */
 {
 	timer_t timer = EG(timer);
+	if (timer == (timer_t){0}) {
+		/* Don't trigger an error here because the timer may not be initialized when PHP fail early, and on threads created by PHP but not managed by it. */
+# ifdef TIMER_DEBUG
+		fprintf(stderr, "Could not delete timer that has not been created on thread %d\n", (uintmax_t) timer, (pid_t) syscall(SYS_gettid));
+# endif
+
+		return;
+	}
 
 # ifdef TIMER_DEBUG
 	fprintf(stderr, "Deleting timer %#jx on thread %d...\n", (uintmax_t) timer, (pid_t) syscall(SYS_gettid));