Do full URL redirection instead of Location: ?...

[banana.git] / banana / misc.inc.php

diff --git a/banana/misc.inc.php b/banana/misc.inc.php
index f57ed8e..bea2223 100644 (file)
--- a/banana/misc.inc.php
+++ b/banana/misc.inc.php
@@ -30,6 +30,20 @@ function textFormat_translate($format)
     }
 }
 
+function redirect($params)
+{
+       header('Location: ' . makeLink($params));
+}
+
+function makeLink($params)
+{
+    $proto = empty($_SERVER['HTTPS']) ? 'http://' : 'http://';
+    $host  = $_SERVER['HTTP_HOST'];
+    $file  = $_SERVER['PHP_SELF'];
+
+       return $proto . $host . $file . '?' . $params;
+}
+
 /********************************************************************************
  * HTML STUFF
  * Taken from php.net