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
47
+
if(is_handler_set) {
48
+
// emit a warning and return
49
+
zend_error(E_WARNING, "A max execution timer was already configured and will not be configured again.");
50
+
return;
51
+
}
52
+
44
53
// 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
45
54
if (timer_create(CLOCK_BOOTTIME, &sev, &EG(max_execution_timer_timer)) !=0) {
46
55
zend_strerror_noreturn(E_ERROR, errno, "Could not create timer");
0 commit comments