1 <?php

2 umask(0037);

3

4 $start_time = microtime(true);

5

6 $cache_fn = "__cache__.html";

7 $cache_life = "1200";

8

9 $cache_mtime = "0";

10 if (file_exists($cache_fn) && filesize($cache_fn) > 0)

11 $cache_mtime = filemtime($cache_fn);

12

13 $newbody = '';

14

15 if ((time() - $cache_mtime >= $cache_life)) {

16 $newbody = shell_exec('./myrss_update.sh 2>&1');

17 file_put_contents($cache_fn, $newbody);

18 } else {

19 $newbody = file_get_contents($cache_fn);

20 }

21

22 $end_time = microtime(true);

23 $elapsed_time = $end_time - $start_time;

24

25 $newbody = preg_replace("/<\/BODY>/", "<DIV class=\"debug\">Time elapsed: " . sprintf("%.3f", $elapsed_time) . " seconds.</DIV>\n</BODY>", $newbody);

26 echo $newbody;

27 ?>