]> git.joonet.de Git - adminer.git/commitdiff
SQL: Stop session
authorJakub Vrana <jakub@vrana.cz>
Mon, 31 Mar 2025 16:39:02 +0000 (18:39 +0200)
committerJakub Vrana <jakub@vrana.cz>
Mon, 31 Mar 2025 16:39:02 +0000 (18:39 +0200)
adminer/sql.inc.php

index ebb354e54c9582217cf76f5d8494cefbfae93eaa..2f9b68a4217fffd7e2089532df950b8e4ac78cfe 100644 (file)
@@ -17,6 +17,7 @@ if (!$error && $_POST["clear"]) {
        $history = array();
        redirect(remove_from_uri("history"));
 }
+stop_session();
 
 page_header((isset($_GET["import"]) ? lang('Import') : lang('SQL command')), $error);