flush();
}
+function force_no_cache(&$header_out)
+{
+ $header_out['Pragma'] = 'no-cache, must-revalidate';
+ $header_out['Cache-Control'] = 'no-cache';
+ $header_out['Expires'] = '-1';
+}
+
function file_lock($fname, $is_exclusive)
{
if (($res = @fopen($fname, "r+")) == FALSE) {
{
printf("NEW_SOCKET (root): %d\n", intval($new_socket));
+ force_no_cache($header_out);
+
switch ($path) {
case "":
case "index.php":