merge makefile glitch

[platal.git] / include / xorg.inc.php

diff --git a/include/xorg.inc.php b/include/xorg.inc.php
index 45dccf9..95a7bb9 100644 (file)
--- a/include/xorg.inc.php
+++ b/include/xorg.inc.php
@@ -100,18 +100,6 @@ function new_admin_table_editor($table, $idfield, $idedit=false)
 }
 
 // }}}
-// {{{ function redirect
-
-function redirect($page)
-{
-    if (count($_SESSION)) {
-        session_write_close();
-    }
-    header("Location: $page");
-    exit;
-}
-
-// }}}
 
 // vim:set et sw=4 sts=4 sws=4 foldmethod=marker:
 ?>