You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
// Now check to see if a we've already set a signal handler
48
+
if(is_handler_set) {
49
+
// emit a warning and return
50
+
zend_error(E_WARNING, "A max execution timer was already configured and will not be configured again.");
51
+
return;
52
+
}
53
+
45
54
// Measure wall time instead of CPU time as originally planned now that it is possible https://github.com/php/php-src/pull/6504#issuecomment-1370303727
46
55
if (timer_create(CLOCK_BOOTTIME, &sev, &EG(max_execution_timer_timer)) !=0) {
47
56
zend_strerror_noreturn(E_ERROR, errno, "Could not create timer");
0 commit comments