Fixes for isAdmin() rewrite of latest commits.

[mailer.git] / inc / modules / admin.php

diff --git a/inc/modules/admin.php b/inc/modules/admin.php
index 761d9181aa0a6ab11251c6a1374f0af26ac73ff6..d8f29a6bcdf0fccdf2da5a32b681aa259fc95097 100644 (file)
--- a/inc/modules/admin.php
+++ b/inc/modules/admin.php
@@ -383,6 +383,12 @@ if (!isAdminRegistered()) {
                        destroyAdminSession();
                        break;
 
+               case 'invalid': // Invalid admin session
+                       setPostRequestElement('login', $ret);
+                       displayMessage('{--INVALID_ADMIN_SESSION--}');
+                       destroyAdminSession();
+                       break;
+
                default: // Others will be logged
                        logDebugMessage(__FILE__, __LINE__, sprintf("Unknown return code %s from ifAdminCookiesAreValid()", $ret));
                        break;