Handle a signal: Difference between revisions
Content added Content deleted
(Add Fortran example.) |
|||
Line 1,291: | Line 1,291: | ||
declare(ticks = 1); |
declare(ticks = 1); |
||
$start = microtime( |
$start = microtime(true); |
||
function mySigHandler() { |
function mySigHandler() { |
||
global $start; |
global $start; |
||
$elapsed = microtime( |
$elapsed = microtime(true) - $start; |
||
echo "Ran for $elapsed seconds.\n"; |
echo "Ran for $elapsed seconds.\n"; |
||
exit(); |
exit(); |