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

Time out long running select count

Browse Source
This commit is contained in:
Jakub Vrana
2012-08-19 19:38:53 -07:00
parent 1f53cd3386
commit 6a7021db28
3 changed files with 22 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
adminer/include/functions.inc.php
View File

@@ -905,6 +905,7 @@ function is_url($string) {
function kill_timeout() {
global $adminer, $token;
$kill = mt_rand();
if (support("kill")) {
?>
<script type="text/javascript">
var timeout = setTimeout(function () {
@@ -913,6 +914,7 @@ var timeout = setTimeout(function () {
}, <?php echo 1000 * $adminer->queryTimeout(); ?>);
</script>
<?php
}
ob_flush();
flush();
return $kill;
@@ -923,13 +925,15 @@ var timeout = setTimeout(function () {
*/
function cancel_kill_timeout() {
global $connection;
echo "<script type='text/javascript'>clearTimeout(timeout);</script>\n";
ob_flush();
flush();
if ($connection->errno == 2006) { // 2006 - CR_SERVER_GONE_ERROR
$connection2 = connect();
if (is_object($connection2)) {
$connection = $connection2;
if (support("kill")) {
echo "<script type='text/javascript'>clearTimeout(timeout);</script>\n";
ob_flush();
flush();
if ($connection->errno == 2006) { // 2006 - CR_SERVER_GONE_ERROR
$connection2 = connect();
if (is_object($connection2)) {
$connection = $connection2;
}
}
}
}