1 files changed, 11 insertions, 1 deletions
diff --git a/lib/lib_rss.php b/lib/lib_rss.php
index 8d4cecf44..4f5b90b61 100644
--- a/lib/lib_rss.php
+++ b/lib/lib_rss.php
@@ -255,6 +255,16 @@ function lazyimg($content) {
 	);
 }
 
+function uTimeString() {
+	$t = @gettimeofday();
+	return $t['sec'] . str_pad($t['usec'], 6, '0');
+}
+
+function uSecString() {
+	$t = @gettimeofday();
+	return str_pad($t['usec'], 6, '0');
+}
+
 function invalidateHttpCache() {
-	file_put_contents(DATA_PATH . '/touch.txt', microtime(true));
+	file_put_contents(DATA_PATH . '/touch.txt', uTimeString());
 }