paulo@13: = $cache_life)) { paulo@13: $newbody = shell_exec('./myrss_update.sh'); paulo@13: file_put_contents($cache_fn, $newbody); paulo@13: } else { paulo@13: $newbody = file_get_contents($cache_fn); paulo@13: } paulo@13: paulo@13: $end_time = microtime(true); paulo@13: $elapsed_time = $end_time - $start_time; paulo@13: paulo@13: $newbody = preg_replace("/<\/BODY>/", "