summaryrefslogtreecommitdiff
path: root/index.php
diff options
context:
space:
mode:
authorAndrew Dolgov <[email protected]>2012-05-16 11:56:21 +0400
committerAndrew Dolgov <[email protected]>2012-05-16 11:56:21 +0400
commit949b1a949130a78419532e899cf39a92448237c0 (patch)
tree95461fcb3dc50778bdb1096a1920e940a8a5525d /index.php
parent35b9844be1b05e1d75646f53dc080d106ab5770e (diff)
hide several user-related prompts when using remote auth + auto_login (closes #447)
Diffstat (limited to 'index.php')
-rw-r--r--index.php4
1 files changed, 2 insertions, 2 deletions
diff --git a/index.php b/index.php
index c809c183e..80e3ebf9e 100644
--- a/index.php
+++ b/index.php
@@ -93,7 +93,7 @@
</div>
<div id="header">
- <?php if (!SINGLE_USER_MODE) { ?>
+ <?php if (!SINGLE_USER_MODE && !(ALLOW_REMOTE_USER_AUTH && AUTO_LOGIN)) { ?>
<?php echo __('Hello,') ?> <b><?php echo $_SESSION["name"] ?></b> |
<?php } ?>
<a href="prefs.php"><?php echo __('Preferences') ?></a>
@@ -103,7 +103,7 @@
<?php echo __('Comments?') ?></a>
<?php } ?>
- <?php if (!SINGLE_USER_MODE) { ?>
+ <?php if (!SINGLE_USER_MODE && !(ALLOW_REMOTE_USER_AUTH && AUTO_LOGIN)) { ?>
| <a href="backend.php?op=logout"><?php echo __('Logout') ?></a>
<?php } ?>