diff php/pseudo.php @ 2457:d26623bd65e0

Removed browser caching for PHP servers

--- a/php/pseudo.php	Tue Aug 02 11:52:02 2016 +0200
+++ b/php/pseudo.php	Tue Aug 02 11:22:51 2016 +0100
@@ -1,6 +1,9 @@
 <?php
     header('Access-Control-Allow-Origin: *');
 	header("Content-type: text/xml");
+    header("Cache-Control: no-store, no-cache, must-revalidate, max-age=0");
+    header("Cache-Control: post-check=0, pre-check=0", false);
+    header("Pragma: no-cache");
     $files = glob('../saves/' . '*.xml');
     $numsaves = 0;
     if ( $files !== false )
@@ -18,4 +21,4 @@
     $testID = ($numsaves % $numtests);
 
 	readfile($files[$testID]);
-?>
\ No newline at end of file
+?>