comparison 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
comparison
equal deleted inserted replaced
2455:17688ed74bed 2457:d26623bd65e0
1 <?php 1 <?php
2 header("Cache-Control: no-store, no-cache, must-revalidate, max-age=0");
3 header("Cache-Control: post-check=0, pre-check=0", false);
4 header("Pragma: no-cache");
2 // This works out the pool of pages to force the browser to use from the master pool set by 'modifying' the XML file 5 // This works out the pool of pages to force the browser to use from the master pool set by 'modifying' the XML file
3 // 6 //
4 7
5 // This scripts lists all participated pages and ranks them by lowest occurence first 8 // This scripts lists all participated pages and ranks them by lowest occurence first
6 // The script then removes from the list any pages which have been completed more times than the lowest occuring test page 9 // The script then removes from the list any pages which have been completed more times than the lowest occuring test page