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. ==================