# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1453486433 -7200
# Node ID 340162fb09a2bde60330ea4a981ff9209cbd5824
# Parent  12f24827be092259938fede5e6b89816f4ad9b75
Stop selected process

diff -r 12f24827be09 -r 340162fb09a2 mysql.rst
--- a/mysql.rst	Wed Jan 13 23:29:23 2016 +0200
+++ b/mysql.rst	Fri Jan 22 20:13:53 2016 +0200
@@ -94,6 +94,10 @@
 
   MariaDB [mysql]> show processlist;
 
+Stop selected process::
+
+  MariaDB [mysql]> kill 12;
+
 Dump execution plan for selected process::
 
   MariaDB [mysql]> show explain for 1;