From 56272934f75f5e3f4eeeffc3a2f0dc063d5820d0 Mon Sep 17 00:00:00 2001
From: azammitdcarf <azammitdcarf>
Date: Wed, 2 Feb 2011 05:35:08 +0000
Subject: [PATCH] Added ALLOW_PAGE_REFRESH config directive (default true)

---
 config.default.php            | 5 +++++
 functions/functions.xhtml.php | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/config.default.php b/config.default.php
index ae54c5c4..59c602b3 100644
--- a/config.default.php
+++ b/config.default.php
@@ -225,6 +225,11 @@ if (!defined('HEADER_EXPANDER')) define('HEADER_EXPANDER', false);
  */
 if (!defined('SYSTEM_SORT_MINUTES')) define ('SYSTEM_SORT_MINUTES',5);
 
+/**
+ * Allow page refreshing
+ */
+if (!defined('ALLOW_PAGE_REFRESH')) define ('ALLOW_PAGE_REFRESH',true);
+
 /**
  * Database configuration for queXS
  */
diff --git a/functions/functions.xhtml.php b/functions/functions.xhtml.php
index 4651887f..93eb525c 100644
--- a/functions/functions.xhtml.php
+++ b/functions/functions.xhtml.php
@@ -56,7 +56,7 @@ print "<?xml version=\"1.0\" encoding=\"utf-8\"?>";
 		foreach ($css as $c) print "<link rel='stylesheet' href='$c' type='text/css'></link>";
 	if ($javascript)
 		foreach ($javascript as $j) print "<script type='text/javascript' src='$j'></script>";
-	if ($refresh)
+	if ($refresh && ALLOW_PAGE_REFRESH)
 	{
 		print " <!--Set to refresh every $refresh seconds-->
 			<meta http-equiv='Cache-Control' content='no-cache'/>