Bug #73178 | Auto-save happens every 10 seconds regardless of configured setting | ||
---|---|---|---|
Submitted: | 2 Jul 2014 19:33 | Modified: | 5 Nov 2014 3:43 |
Reporter: | Brett Cundal | Email Updates: | |
Status: | Closed | Impact on me: | |
Category: | MySQL Workbench | Severity: | S3 (Non-critical) |
Version: | 6.0.8, 6.1.7 | OS: | Any |
Assigned to: | CPU Architecture: | Any |
[2 Jul 2014 19:33]
Brett Cundal
[8 Jul 2014 9:26]
MySQL Verification Team
Thank you for the report. I could not see this issue with latest GA release 6.1.7. Could you please try with 6.1.7 and provide us exact strace results. Thanks, Umesh
[11 Jul 2014 18:12]
Brett Cundal
Since there's no binary release for my platform (Ubuntu 14.04 32-bit), I'm not able to test this without building from source, which is a much higher hurdle. Is there some plan to build and distribute 32-bit binaries? See Bug #73140...
[13 Jul 2014 7:19]
MySQL Verification Team
Thank you for the feedback. Verified as described on OL6 with 6.1.7. Observed that, despite disabling the auto save script interval setting in "SQL editor" - it tried to auto save every 10-15 sec. Thanks, Umesh
[13 Jul 2014 7:19]
MySQL Verification Team
strace results
Attachment: 73178.txt (text/plain), 52.42 KiB.
[13 Jul 2014 7:20]
MySQL Verification Team
Auto save script settings screenshot
Attachment: 73178.png (image/png, text), 269.31 KiB.
[13 Jul 2014 7:25]
MySQL Verification Team
As you noted in #73140, this request is already been registered with the team and hope that it would be available soon.
[5 Nov 2014 3:43]
Philip Olson
Posted by developer: Fixed as of the upcoming MySQL Workbench 6.2.4 release, and here's the changelog entry: The "Auto-save scripts interval" preference did not function, as auto-save saved all connection and query tabs every 10 seconds regardless of this setting. Thank you for the bug report.