From cac154e6c3b164f271f118681ff9ef6db6985c87 Mon Sep 17 00:00:00 2001
From: jakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Date: Wed, 11 Jul 2007 06:16:43 +0000
Subject: [PATCH] Inform about expired session

git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@113 7c3ca157-0c34-0410-bff1-cbf682f78f5c
---
 auth.inc.php | 4 ++++
 lang.inc.php | 2 ++
 2 files changed, 6 insertions(+)

diff --git a/auth.inc.php b/auth.inc.php
index fdc1bc1f..69fe4f75 100644
--- 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 11b027d0..57011e3d 100644
--- 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)) {