mysql.rst
changeset 1875 340162fb09a2
parent 1854 9b224b68c1e1
child 1876 653a83760554
--- 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;