mysql.rst
changeset 1852 f572f646694b
parent 1851 e6ffc5f7200e
child 1853 c6be6cc87df4
--- a/mysql.rst	Wed Dec 30 11:32:30 2015 +0200
+++ b/mysql.rst	Wed Dec 30 11:34:19 2015 +0200
@@ -78,9 +78,14 @@
 
 Monitor server execution.
 =========================
-::
+
+List all current executions::
 
-  MariaDB [mysql]> SHOW PROCESSLIST;
+  MariaDB [mysql]> show processlist;
+
+Dump execution plan for selected process::
+
+  MariaDB [mysql]> show explain for 1;
 
 Profiling queries.
 ==================