diff --git a/html/index.php b/html/index.php
index f11f8514a536c26e8478b966f4d97118a194fe0f..0aa550a178b232761dd4ddaf3870b1101fcea5fb 100644 (file)
--- a/html/index.php
+++ b/html/index.php
/* Reset error messages */
$message= "";
+ /* Destroy old sessions, they cause a successfull login to relog again ...*/
+ if(isset($_SESSION['_LAST_PAGE_REQUEST'])){
+ $_SESSION['_LAST_PAGE_REQUEST'] = time();
+ }
+
$server= validate($_POST["server"]);
$config->set_current($server);