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
// 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
-
if (timer_create(CLOCK_BOOTTIME, &sev, &EG(timer)) !=0) {
46
+
if (timer_create(CLOCK_BOOTTIME, &sev, &EG(max_execution_timer_timer)) !=0) {
47
47
zend_strerror_noreturn(E_ERROR, errno, "Could not create timer");
48
48
}
49
49
50
-
# ifdefTIMER_DEBUG
51
-
fprintf(stderr, "Timer %#jx created on thread %d\n", (uintmax_t) EG(timer), sev.sigev_notify_thread_id);
50
+
# ifdefMAX_EXECUTION_TIMERS_DEBUG
51
+
fprintf(stderr, "Timer %#jx created on thread %d\n", (uintmax_t) EG(max_execution_timer_timer), sev.sigev_notify_thread_id);
0 commit comments