Guest User

Untitled

a guest
Jul 16th, 2018
93
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.55 KB | None | 0 0
  1. $cachefile = "cache/$gen_user-$id-rss.xml";
  2. $cachetime = 10 * 60; // 5 minutes
  3. if (file_exists($cachefile) && (time() - $cachetime
  4. < filemtime($cachefile)))
  5. {
  6. $xml = file_get_contents("$cachefile");
  7. echo "$xml";
  8. echo "<!-- Page auto updates every 10 mins -->";
  9. echo "<!-- Cached ".date('jS F Y H:i', filemtime($cachefile))." -->";
  10. exit;
  11. }
  12. ob_start();
  13.  
  14.  
  15.  
  16. //code here
  17.  
  18.  
  19.  
  20.  
  21. $fp = fopen($cachefile, 'w');
  22. fwrite($fp, ob_get_contents());
  23. fclose($fp);
  24. ob_end_flush();
Add Comment
Please, Sign In to add comment