<?php
if (isset($_SESSION["USER"]) && isset($_SESSION["PW"])) {?>
<p align="left">
<font size="2"><img src="../img/secure.gif" border="0" align="middle"> Logged in as: <font color="#990000"><?= $_SESSION["USER"] ?></font> |
<a href="p_login.php?action=exit">[Close session]</a>
<a href="p_panel.php">[Control panel]</a></font>
<a href="p_publications.php">[Publications page]</a></font>
<a href="p_search.php">[Search]</a></font>
<?php } else { ?>
<p align="right">
<font size="2" align="right"><a href="p_login.php"><img src="../img/private.gif" width="11" height="10" border="0" align="absbottom"> Login</a></font>
<?php } ?>
</p>
|