Bug #94247 Contribution: Fix fractional timeout values used with WAIT_FOR_EXECUTED_GTI ...
Submitted: 7 Feb 2019 17:38 Modified: 27 Mar 2019 15:23
Reporter: OCA Admin (OCA) Email Updates:
Status: Closed Impact on me:
Category:MySQL Server: DML Severity:S3 (Non-critical)
Version: OS:Any
Assigned to: CPU Architecture:Any

[7 Feb 2019 17:38] OCA Admin
This bug tracks a contribution by Dirkjan Bussink (Github user: dbussink) as described in http://github.com/mysql/mysql-server/pull/230

How to repeat:
See description

Suggested fix:
See contribution code attached
[7 Feb 2019 17:38] OCA Admin
Contribution submitted via Github - Fix fractional timeout values used with WAIT_FOR_EXECUTED_GTID_SET 
(*) Contribution by Dirkjan Bussink (Github dbussink, mysql-server/pull/230#issuecomment-461496967): 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_231134138.txt (text/plain), 5.78 KiB.

[7 Feb 2019 18:22] MySQL Verification Team
Thank you for the contribution.
[13 Feb 2019 14:33] Shlomi Noach
Related, we tried a different approach as a workaround, and got this: https://bugs.mysql.com/bug.php?id=94311
[27 Mar 2019 15:23] Margaret Fisher
Posted by developer:
Changelog entry added for MySQL 8.0.16 and 5.7.26:

If the WAIT_FOR_EXECUTED_GTID_SET() function was used with a timeout value including a fractional part (for example, 1.5), an error in the casting logic meant that the timeout was rounded down to the nearest whole second, and to zero for values less than 1 second (for example, 0.1). The casting logic has now been corrected so that the timeout value is applied as originally specified with no rounding. Thanks to Dirkjan Bussink for the contribution.