From 4038144c38955aa17cea9dced25f2713f4b5fa2e Mon Sep 17 00:00:00 2001 From: Jakub Vrana Date: Mon, 8 Feb 2021 18:43:10 +0100 Subject: [PATCH] Add comments --- adminer/drivers/mysql.inc.php | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/adminer/drivers/mysql.inc.php b/adminer/drivers/mysql.inc.php index 8c93506b..bfaa166f 100644 --- a/adminer/drivers/mysql.inc.php +++ b/adminer/drivers/mysql.inc.php @@ -1097,14 +1097,24 @@ if (!defined("DRIVER")) { return !preg_match("~scheme|sequence|type|view_trigger|materializedview" . (min_version(8) ? "" : "|descidx" . (min_version(5.1) ? "" : "|event|partitioning" . (min_version(5) ? "" : "|routine|trigger|view"))) . "~", $feature); } + /** Kill a process + * @param int + * @return bool + */ function kill_process($val) { return queries("KILL " . number($val)); } + /** Return query to get connection ID + * @return string + */ function connection_id(){ return "SELECT CONNECTION_ID()"; } + /** Get maximum number of connections + * @return int + */ function max_connections() { global $connection; return $connection->result("SELECT @@max_connections");