Your observation is correct. It looks like it was implemented this way to match the slow query log behavior, which BTW also raises questions for the users: https://bugs.mysql.com/bug.php?id=71767, https://bugs.mysql.com/bug.php?id=65139.
The current behavior should be documented and then switch to full query time (controlled by option or just by default) should be planned too.
Your observation is correct. It looks like it was implemented this way to match the slow query log behavior, which BTW also raises questions for the users: https:/ /bugs.mysql. com/bug. php?id= 71767, https:/ /bugs.mysql. com/bug. php?id= 65139.
The current behavior should be documented and then switch to full query time (controlled by option or just by default) should be planned too.