From a02488646391e6e522c1dcf6088ef4ea3abda0f7 Mon Sep 17 00:00:00 2001
From: Scott Ullrich <sullrich@pfsense.org>
Date: Fri, 18 Aug 2006 19:29:09 +0000
Subject: [PATCH] Add compatibility goo for HEAD for pfSenseHeader

---
 etc/inc/pfsense-utils.inc | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/etc/inc/pfsense-utils.inc b/etc/inc/pfsense-utils.inc
index 9b2a2044bd..000778dc10 100644
--- a/etc/inc/pfsense-utils.inc
+++ b/etc/inc/pfsense-utils.inc
@@ -33,13 +33,20 @@
  *
  */
 
-/* compatibility goo with HEAD */
+/* BEGIN compatibility goo with HEAD */
 if(!function_exists("gettext")) {
 	function gettext($text) {
 		return $text;
 	}
 }
 
+if(!function_exists("pfSenseHeader")) {
+	function pfSenseHeader($location) {
+		header("Location: $location");
+	}
+}
+/* END compatibility goo with HEAD */
+
 function get_tmp_file() {
 	return "/tmp/tmp-" . time();
 }