Bug #86135 An extra digit for runtime timing (contribution)
Submitted: 28 Apr 2017 16:16 Modified: 28 Mar 2018 7:32
Reporter: OCA Admin (OCA) Email Updates:
Status: Closed Impact on me:
None 
Category:MySQL Server: Document Store: MySQL Shell Severity:S3 (Non-critical)
Version: OS:Any
Assigned to: CPU Architecture:Any

[28 Apr 2017 16:16] OCA Admin
Description:
This bug tracks a contribution by Daniël van Eeden (Github user: dveeden) as described in http://github.com/mysql/mysql-shell/pull/1

How to repeat:
See description

Suggested fix:
See contribution code attached
[28 Apr 2017 16:16] OCA Admin
Contribution submitted via Github - An extra digit for runtime timing 
(*) Contribution by Daniël van Eeden (Github dveeden, mysql-shell/pull/1#issuecomment-297881085): I confirm the code being submitted is offered under the terms of the OCA, and that I am authorized to contribute it.

Contribution: git_patch_117806295.txt (text/plain), 1.03 KiB.

[28 Apr 2017 21:39] MySQL Verification Team
Thank you for the bug report.
[1 Mar 2018 21:33] Juan Rene Ramirez Monarrez
Posted by developer:
 
First of all, thanks for your contribution, however, the proposed change is no longer applicable.

An internal refactoring replaced the code used to report the timing, but at the end we are providing 4 digits for fractional seconds, so expectation is that in 8.0.5 your intention will be satisfied.
[28 Mar 2018 7:32] Margaret Fisher
Posted by developer:
 
Changelog entry added for MySQL Shell 8.0.11:
        The runtime timer for &mysqlxshell;, which reports the time
        taken for each query execution, has been refactored to provide
        increased precision of 4 digits for fractional seconds.