# HG changeset patch
# User paulo@twcdns.fastsearch.net
# Date 1284539407 25200
# Node ID b1038ce571d32ce445d7ab0b2da5554b581e78c1
# Parent  2e8351e61e8f4950cb10ec062c204ff813713ee4
add myrss/index.php; add <div.debug> to index.css

diff -r 2e8351e61e8f -r b1038ce571d3 index.css
--- a/index.css	Wed Sep 15 01:25:20 2010 -0700
+++ b/index.css	Wed Sep 15 01:30:07 2010 -0700
@@ -29,3 +29,9 @@
 {
 	font-size: small;
 }
+
+div.debug
+{
+	font-family: monospace;
+	font-size: x-small;
+}
diff -r 2e8351e61e8f -r b1038ce571d3 myrss/index.php
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/myrss/index.php	Wed Sep 15 01:30:07 2010 -0700
@@ -0,0 +1,25 @@
+<?php
+$start_time = microtime(true);
+
+$cache_fn = "__cache__.html";
+$cache_life = "1200";
+
+$cache_mtime = "0";
+if (file_exists($cache_fn))
+	$cache_mtime = filemtime($cache_fn);
+
+$newbody = '';
+
+if ((time() - $cache_mtime >= $cache_life)) {
+	$newbody = shell_exec('./myrss_update.sh');
+	file_put_contents($cache_fn, $newbody);
+} else {
+	$newbody = file_get_contents($cache_fn);
+}
+
+$end_time = microtime(true);
+$elapsed_time = $end_time - $start_time;
+
+$newbody = preg_replace("/<\/BODY>/", "<DIV class=\"debug\">Time elapsed: " . sprintf("%.3f", $elapsed_time)  . " seconds.</DIV>\n</BODY>", $newbody);
+echo $newbody;
+?>