diff php/pool.php @ 2457:d26623bd65e0

Removed browser caching for PHP servers
author Nicholas Jillings <nicholas.jillings@mail.bcu.ac.uk>
date Tue, 02 Aug 2016 11:22:51 +0100
parents 169f08dc9634
children 464c6c6692d6
line wrap: on
line diff
--- a/php/pool.php	Tue Aug 02 11:52:02 2016 +0200
+++ b/php/pool.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");
 // This works out the pool of pages to force the browser to use from the master pool set by 'modifying' the XML file
 //