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
-
# ifdefMAX_EXECUTION_TIMERS_DEBUG
49
-
fprintf(stderr, "A max execution timer was already configured and will not be configured again on thread %d\n", sev.sigev_notify_thread_id);
50
-
# endif
51
-
return;
52
-
}
53
-
54
50
// 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
55
51
if (timer_create(CLOCK_BOOTTIME, &sev, &EG(max_execution_timer_timer)) !=0) {
56
52
zend_strerror_noreturn(E_ERROR, errno, "Could not create timer");
0 commit comments