mirror/php-adminer
1
0
Fork 0
mirror of https://github.com/vrana/adminer.git synced 2025-08-08 07:36:44 +02:00
Code Issues Releases Wiki Activity

Centralize stopping session

Browse Source
This commit is contained in:
Jakub Vrana
2018-02-20 23:14:36 +01:00
parent 846435aef8
commit 3f4f3454f8
2 changed files with 6 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
adminer/include/auth.inc.php
View File

@@ -158,9 +158,7 @@ if (isset($_GET["username"]) && !class_exists("Min_DB")) {
exit;
}
if (!ini_bool("session.use_cookies") || @ini_set("session.use_cookies", false) !== false) { // @ - may be disabled
session_write_close(); // improves concurrency if a user opens several pages at once, may be restarted later
}
stop_session(true);
if (isset($_GET["username"])) {
list($host, $port) = explode(":", SERVER, 2);