# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1451468059 -7200
# Node ID f572f646694bbcc1f103a0ff47b09036743b60e8
# Parent  e6ffc5f7200e03047477e1617a976f77cb9532ff
Dump execution plan for selected process.

diff -r e6ffc5f7200e -r f572f646694b mysql.rst
--- 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.
 ==================