+ if(isset($_SESSION["name"]))
+ {
+ $name = $_SESSION["name"];
+
+ /* logout info */
+ echo "<div class=\"status\">\n";
+ echo $name;
+ echo " <a href=\"index.php?logout=1\">logout</a>\n";
+ echo "</div>";
+
+ /* last logon time */
+ $myid = DB_get_userid_by_name($name);
+ $zone = DB_get_user_timezone($myid);
+ date_default_timezone_set($zone);