Bug #94598 Workbench crash when switching focus while query is running

• Submitted: 7 Mar 2019 21:32
• Modified: 8 Mar 2019 19:27
• Reporter: John Krieger
• Status: Can't repeat
• Category: MySQL Workbench
• Severity: S3 (Non-critical)
• Version: 8.0.15
• OS: Windows (build 15063)
• CPU Architecture: Other (x64)

[7 Mar 2019 21:32] John Krieger

Description:
Workbench crashed when using table inspector while SELECT query was running.

As reported by Windows Event Viewer:

Application: MySQLWorkbench.exe
Framework Version: v4.0.30319
Description: The process was terminated due to an unhandled exception.
Exception Info: System.InvalidOperationException
   at System.ThrowHelper.ThrowInvalidOperationException(System.ExceptionResource)
   at System.Collections.Generic.List`1+Enumerator[[System.__Canon, mscorlib, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b77a5c561934e089]].MoveNextRare()
   at MySQL.Controls.FlatTabControl.BusyAnimationStep(System.Object, System.EventArgs)
   at System.Drawing.ImageAnimator+ImageInfo.OnFrameChanged(System.EventArgs)
   at System.Drawing.ImageAnimator+ImageInfo.set_Frame(Int32)
   at System.Drawing.ImageAnimator.AnimateImages50ms()
   at System.Threading.ExecutionContext.RunInternal(System.Threading.ExecutionContext, System.Threading.ContextCallback, System.Object, Boolean)
   at System.Threading.ExecutionContext.Run(System.Threading.ExecutionContext, System.Threading.ContextCallback, System.Object, Boolean)
   at System.Threading.ExecutionContext.Run(System.Threading.ExecutionContext, System.Threading.ContextCallback, System.Object)
   at System.Threading.ThreadHelper.ThreadStart()

From workbench log:

14:55:38 [WRN][         mforms]: Resource file not found: db.Constraints.16x16.png
14:55:38 [WRN][         mforms]: Resource file not found: db.Partitions.16x16.png
14:55:38 [WRN][         mforms]: Resource file not found: db.Grants.16x16.png
14:55:39 [WRN][         mforms]: Resource file not found: db.Grants.16x16.png
14:55:39 [ERR][sqlide_tableman_ext.py:refresh:302]: SELECT @@datadir datadir,st.FILE_FORMAT,sd.path FROM information_schema.INNODB_SYS_TABLES st JOIN information_schema.innodb_sys_datafiles sd USING(space) WHERE st.name = '[table name deleted]'': ('Access denied; you need (at least one of) the PROCESS privilege(s) for this operation', 1227)
14:55:42 [ERR][      Workbench]: Collection was modified; enumeration operation may not execute.
[similar stack trace follows...]

How to repeat:
Have not been able to duplicate.

Suggested
1. Start long running query (say 1 minute or longer)
2. Open table inspector from navigator while query is running

[8 Mar 2019 19:27] MySQL Verification Team

Thank you for the bug report. I couldn't repeat querying a large table.