From: Jakub Vrana Date: Mon, 8 Feb 2021 17:43:10 +0000 (+0100) Subject: Add comments X-Git-Tag: v4.8.0~39 X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=4038144c38955aa17cea9dced25f2713f4b5fa2e;p=adminer.git Add comments --- 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");