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;