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 ?>