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

Simplify slow queries

Browse Source
This commit is contained in:
Jakub Vrana
2012-08-19 21:55:00 -07:00
parent 72b801513b
commit ea6d6e0d44
4 changed files with 19 additions and 38 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
adminer/script.inc.php
View File

@@ -33,11 +33,7 @@ if ($_GET["script"] == "db") {
json_row("");
} elseif ($_GET["script"] == "kill") {
foreach (process_list(false) as $process) {
if (ereg('^/\* Adminer ' . (+$_POST["kill"]) . ' \*/', $process["Info"])) {
$connection->query("KILL $process[Id]");
}
}
$connection->query("KILL " . (+$_POST["kill"]));
} else { // connect
foreach (count_tables($adminer->databases()) as $db => $val) {