00001 <?php
00020 function get_session($var1)
00021 {
00022 if(isset($_SESSION[$var1]))
00023 return $_SESSION[$var1];
00024 else
00025 return "";
00026 }
00027
00028
00035 function redirect($page)
00036 {
00037 ?>
00038 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
00039 <html>
00040 <head>
00041 <title>HTTP redirect</title>
00042 <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
00043 <?php
00044 echo "<meta http-equiv=\"refresh\" content=\"0;url=$page?" . session_id() . "\">";
00045 ?>
00046 </head>
00047 <body>
00048 </body>
00049 </html>
00050 <?php
00051 }
00052
00053
00054 ?>
