From 27ec8e7d3b905d440e135e713d4a5e75c201cd2e Mon Sep 17 00:00:00 2001
From: Tim Starling <tstarling@users.mediawiki.org>
Date: Wed, 11 Feb 2004 13:15:16 +0000
Subject: [PATCH] Special:Asksql query timeout feature

---
 includes/killthread.php | 36 ++++++++++++++++++++++++++++++++++++
 1 file changed, 36 insertions(+)
 create mode 100644 includes/killthread.php

diff --git a/includes/killthread.php b/includes/killthread.php
new file mode 100644
index 0000000000..05a165b340
--- /dev/null
+++ b/includes/killthread.php
@@ -0,0 +1,36 @@
+<?
+
+# Script to kill a MySQL thread after a specified timeout
+
+$wgCommandLineMode = true;
+
+unset( $IP );
+ini_set( "allow_url_fopen", 0 ); # For security...
+include_once( "./LocalSettings.php" );
+
+# Windows requires ';' as separator, ':' for Unix
+$sep = strchr( $include_path = ini_get( "include_path" ), ";" ) ? ";" : ":";
+ini_set( "include_path", "$IP$sep$include_path" );
+
+include_once( "Setup.php" );
+
+$wgTitle = Title::newFromText( wfMsg( "badtitle" ) );
+$wgArticle = new Article($wgTitle);
+
+if ( !$argv[1] || !$argv[2] ) {
+	exit();
+}
+
+$tid = (int)$argv[2];
+
+# Wait for timeout (this process may be killed during this time)
+$us = floor( $argv[1] * 1000000 ) % 1000000;
+$s = floor( $argv[1] );
+usleep( $us );
+sleep( $s );
+
+# Kill DB thread
+$conn = Database::newFromParams( $wgDBserver, $wgDBsqluser, $wgDBsqlpassword, $wgDBname );
+$conn->query( "KILL $tid" );
+
+?>
-- 
2.20.1