diff php/save.php @ 2457:d26623bd65e0

Removed browser caching for PHP servers

--- a/php/save.php	Tue Aug 02 11:52:02 2016 +0200
+++ b/php/save.php	Tue Aug 02 11:22:51 2016 +0100
@@ -1,4 +1,7 @@
 <?php
+    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");
 	error_reporting(0);
 	$saveFilenamePrefix = isset($_GET['saveFilenamePrefix']) ? $_GET['saveFilenamePrefix'].'-' : '';
 	header('Access-Control-Allow-Origin: *');