Inform about expired session

git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@113 7c3ca157-0c34-0410-bff1-cbf682f78f5c

diff --git a/auth.inc.php b/auth.inc.php
index fdc1bc1f822b3cb159a69bd2c69a1dc8e1d5bc63..69fe4f75c7514a328f0b3aeb1628d60c5c36fceb 100644 (file)
--- a/auth.inc.php
+++ b/auth.inc.php
@@ -35,6 +35,8 @@ if (!isset($_SESSION["usernames"][$_GET["server"]]) || !$mysql->connect($_GET["s
                echo "<p class='error'>" . lang('Invalid credentials.') . "</p>\n";
        } elseif (isset($_POST["server"])) {
                echo "<p class='error'>" . lang('Sessions must be enabled.') . "</p>\n";
+       } elseif ($_POST) {
+               echo "<p class='error'>" . lang('Session expired, please login again.') . "</p>\n";
        }
        ?>
        <form action="" method="post">
@@ -54,6 +56,8 @@ if (!isset($_SESSION["usernames"][$_GET["server"]]) || !$mysql->connect($_GET["s
                                        }
                                }
                        }
+               } elseif ($key == "token") {
+                       echo '<input type="hidden" name="token" value="' . token() . '" />';
                } elseif (!in_array($key, $ignore)) {
                        echo '<input type="hidden" name="' . htmlspecialchars($key) . '" value="' . htmlspecialchars($val) . '" />';
                }

diff --git a/lang.inc.php b/lang.inc.php
index 11b027d01418eb459082bcab815e78ea5b9afa9a..57011e3ddc25db28125c8efd138b442860a802f0 100644 (file)
--- a/lang.inc.php
+++ b/lang.inc.php
@@ -102,6 +102,8 @@ function lang($idf = null, $number = null) {
                        'Error during calling' => 'Chyba při volání',
                        'No MySQL extension' => 'Žádná MySQL extenze',
                        'None of supported PHP extensions (%s) are available.' => 'Není dostupná žádná z podporovaných PHP extenzí (%s).',
+                       'Sessions must be enabled.' => 'Session proměnné musí být povolené.',
+                       'Session expired, please login again.' => 'Session vypršela, přihlašte se prosím znovu.',
                ),
        );
        if (!isset($idf)) {