diff options
| author | Scott Ullrich <sullrich@pfsense.org> | 2006-08-18 19:29:09 +0000 |
|---|---|---|
| committer | Scott Ullrich <sullrich@pfsense.org> | 2006-08-18 19:29:09 +0000 |
| commit | a02488646391e6e522c1dcf6088ef4ea3abda0f7 (patch) | |
| tree | fa9fe63bcf372d0fa697ec5b479c9298be7b23d0 /etc/inc/pfsense-utils.inc | |
| parent | 2a970acb9d798204294fe6686ca60b801840f7a6 (diff) | |
| download | pfsense-a02488646391e6e522c1dcf6088ef4ea3abda0f7.zip pfsense-a02488646391e6e522c1dcf6088ef4ea3abda0f7.tar.gz | |
Add compatibility goo for HEAD for pfSenseHeader
Diffstat (limited to 'etc/inc/pfsense-utils.inc')
| -rw-r--r-- | etc/inc/pfsense-utils.inc | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/etc/inc/pfsense-utils.inc b/etc/inc/pfsense-utils.inc index 9b2a204..000778d 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(); } |
