From: Jakub Vrana <jakub@vrana.cz>
Date: Wed, 3 Nov 2010 23:12:01 +0000 (+0100)
Subject: Breadcrumb on No extension page
X-Git-Tag: v3.1.0~16
X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=9e51a1d8900013b6724d8812fed9002c0e1332a4;p=adminer.git

Breadcrumb on No extension page
---

diff --git a/adminer/include/auth.inc.php b/adminer/include/auth.inc.php
index 09c09da0..590b4c23 100644
--- a/adminer/include/auth.inc.php
+++ b/adminer/include/auth.inc.php
@@ -85,7 +85,8 @@ function auth_error($exception = null) {
 
 if (isset($_GET["username"])) {
 	if (!class_exists("Min_DB")) {
-		page_header(lang('No extension'), lang('None of the supported PHP extensions (%s) are available.', implode(", ", $possible_drivers)), null);
+		unset($_SESSION["pwds"][DRIVER]); //! remove also from adminer_permanent
+		page_header(lang('No extension'), lang('None of the supported PHP extensions (%s) are available.', implode(", ", $possible_drivers)), false);
 		page_footer("auth");
 		exit;
 	}