functions/date.php has own functions for short name of month/weekday.
[squirrelmail.git] / src / right_main.php
index 2ccde4d8720d20f17fc32bdf061060e95b4beb4d..81501534dd8750f20a59799a9108ea2a241fd105 100644 (file)
@@ -156,8 +156,7 @@ if (isset($note)) {
     echo html_tag( 'div', '<b>' . $note .'</b>', 'center' ) . "<br>\n";
 }
 
-if (isset($_SESSION['just_logged_in'])) {
-    $just_logged_in = $_SESSION['just_logged_in'];
+if ( sqgetGlobalVar('just_logged_in', $just_logged_in, SQ_SESSION) ) {
     if ($just_logged_in == true) {
         $just_logged_in = false;