From c8dfa6b2f78112dbd077af6ae008af740222776c Mon Sep 17 00:00:00 2001 From: Marc Delisle Date: Sun, 20 Jan 2013 12:51:48 -0500 Subject: [PATCH] Bug #3777 Cannot log out from second server --- libraries/common.inc.php | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/libraries/common.inc.php b/libraries/common.inc.php index 7d7fce1024..34964fac7c 100644 --- a/libraries/common.inc.php +++ b/libraries/common.inc.php @@ -481,7 +481,9 @@ if ($token_mismatch) { /* Possible login form */ 'pma_servername', 'pma_username', 'pma_password', /* Needed to send the correct reply */ - 'ajax_request' + 'ajax_request', + /* Permit to log out even if there is a token mismatch */ + 'old_usr' ); /** * Allow changing themes in test/theme.php