function hello($t) { echo "call", PHP_EOL; busy_wait($t * 2); }
function f() { echo "call"; busy_wait(4); }
function f($t) { echo "call"; busy_wait($t * 2); throw new Exception("never reached here"); }
<?php include dirname(__FILE__) . DIRECTORY_SEPARATOR . "timeout_config.inc"; set_time_limit($t); for ($i = 0; $i < 42; $i++) { busy_wait(1); } ?> never reached here
function f($t) { echo "call"; busy_wait($t - 1); throw new Exception("exception before timeout"); }
function cb(&$i, $k, $p) { busy_wait(1); }
function hello($t) { echo "call"; busy_wait($t * 2); }