MySQL Bugs: #65687: Freeze when closing model tab

Bug #65687	Freeze when closing model tab
Submitted:	20 Jun 2012 13:06	Modified:	21 Aug 2012 14:42
Reporter:	Michael Walton	Email Updates:
Status:	Can't repeat	Impact on me:	None
Category:	MySQL Workbench: Modeling	Severity:	S1 (Critical)
Version:	5.2.40	OS:	Linux (Redhat Fedora 17 x86_64)
Assigned to:		CPU Architecture:	Any

Description:
Often when I attempt to close the model tab mysql workbench freezes completely.

How to repeat:
Create a model with several tables with some foreign keys and try to close the model tab

You can usually reproduce the freeze with this model

Attachment: test3.mwb (application/octet-stream, text), 6.38 KiB.

This is a backtrace from the time of the freeze

Attachment: backtrace.txt (text/plain), 14.38 KiB.

Added more OS info

I have created an equivalent bug report at 
Redhat bugzilla. See
https://bugzilla.redhat.com/show_bug.cgi?id=833872

I confirm this bug. The same on my Ubuntu 12.04 (32 Bit).

Hello Michael.
Thanks for your report.
Our new WB 5.2.42 has been released, and this defect is not reproducible anymore in this version and the file that you provided us.
Can you please give a try with this WB version and let us know your results?
http://dev.mysql.com/downloads/workbench/5.2.html
Thanks.

After some headaches, I got 5.2.42 to compile. AFAICS, the bug is fixed.
I will report the same downstream and ask that they upgrade the package.

Thanks a lot for your confirmation Michael.
Please feel free to report any future finding.

https://eveningurbangazette.blogspot.com/
https://metrosentineljournal.blogspot.com/
https://eveningcourierdispatch.blogspot.com/
https://weeklyheraldofthetown.blogspot.com/
https://standardmorninginquirer.blogspot.com/
https://metropolisdailygazette.blogspot.com/
https://countyweeklysun.blogspot.com/
https://dailyeveningbulletin.blogspot.com/
https://cityjournaladvocate.blogspot.com/
https://urbanchronicleweekly.blogspot.com/
https://newsofthedailyvillage.blogspot.com/
https://metropolisgazettemorning.blogspot.com/
https://timesoftheurbanevening.blogspot.com/
https://patriotweeklysentinel.blogspot.com/
https://boroughmorningpress.blogspot.com/
https://weeklystandardofthecounty.blogspot.com/
https://eveningtribuneofthecity.blogspot.com/
https://metropolisdailypost.blogspot.com/
https://countybulletindispatch.blogspot.com/
https://weeklyheraldofthevillage.blogspot.com/
https://morningchronicleofthetown.blogspot.com/
https://cityeveningtimes.blogspot.com/
https://metroadvocatedaily.blogspot.com/
https://villagemorningjournal.blogspot.com
https://countypostsentinel.blogspot.com/
https://morningstandardofthemetro.blogspot.com/
https://weeklytownbulletin.blogspot.com/
https://borougheveningnews.blogspot.com/
https://patriotofthemetropolis.blogspot.com/
https://dailyburgcourier.blogspot.com/
https://morninggazetteofthecity.blogspot.com/
https://weeklyinquirerdispatch.blogspot.com/
https://villagestandarddaily.blogspot.com/
https://eveningpressofthetown.blogspot.com/
https://dailymetrobulletin.blogspot.com/
https://countyadvocatenews.blogspot.com/
https://urbansunsentinel.blogspot.com/
https://timesofthemetropolis.blogspot.com/
https://citychronicleweekly.blogspot.com/
https://boroughmorninginquirer.blogspot.com/
https://heraldofthecounty.blogspot.com/
https://urbanweeklygazette.blogspot.com/
https://metroeveningpress.blogspot.com/
https://dailynewsofthevillage.blogspot.com/
https://themiddaypost.blogspot.com/
https://chroniclemorningadvocate.blogspot.com/
https://countysentineljournal.blogspot.com/
https://burgsundispatch.blogspot.com/
https://patriotweeklytimes.blogspot.com/
https://urbandailytribune.blogspot.com/
https://citymorningherald.blogspot.com/
https://metroeveningbulletin.blogspot.com/
https://eveningvillagestandard.blogspot.com/
https://weeklymetropolissentinel.blogspot.com/
https://thanks2018.blogspot.com/
https://dailyurbanjournal.blogspot.com/
https://morningcountynews.blogspot.com/
https://cityadvocateweekly.blogspot.com/
https://eveningmetrotribune.blogspot.com/
https://dailyboroughgazette.blogspot.com/
https://weeklytowntimes.blogspot.com/
https://morningburgdispatch.blogspot.com/
https://dailymetropolisbulletin.blogspot.com/
https://eveningcityherald.blogspot.com/
https://weeklyurbanchronicle.blogspot.com/
https://morningcountypost.blogspot.com/
https://dailyvillagesun.blogspot.com/
https://weeklymetrostandard.blogspot.com/
https://eveningtownpress.blogspot.com/
https://dailymetropolisnews.blogspot.com/
https://morningboroughtimes.blogspot.com/
https://weeklycitygazette.blogspot.com/
https://dailyurbansentinel.blogspot.com/
https://eveningburgchronicle.blogspot.com/
https://weeklycountyglobe.blogspot.com/
https://morningtownpatriot.blogspot.com/
https://dailyvillagetribune.blogspot.com/
https://eveningcitycourier.blogspot.com/
https://weeklymetropolisherald.blogspot.com/
https://www.blogger.com/profile/03145414916620895872
https://www.blogger.com/profile/17335707951530585032
https://www.blogger.com/profile/04891053317016931747
https://www.blogger.com/profile/03351773725581680470
https://www.blogger.com/profile/05669853150298336513
https://www.blogger.com/profile/07928862671335189530
https://www.blogger.com/profile/02464219756333858453
https://www.blogger.com/profile/06274626399264789848
https://www.blogger.com/profile/01391950296027823849
https://www.blogger.com/profile/00479616136880013956
https://www.blogger.com/profile/15538533902478896650
https://www.blogger.com/profile/17319524322164798525
https://www.blogger.com/profile/10979254887367528640
https://www.blogger.com/profile/01368580609399770891
https://www.blogger.com/profile/04201158978831414905
https://www.blogger.com/profile/14879889409226321858

https://eveningurbangazette.blogspot.com/
https://metrosentineljournal.blogspot.com/
https://eveningcourierdispatch.blogspot.com/
https://weeklyheraldofthetown.blogspot.com/
https://standardmorninginquirer.blogspot.com/
https://metropolisdailygazette.blogspot.com/
https://countyweeklysun.blogspot.com/
https://dailyeveningbulletin.blogspot.com/
https://cityjournaladvocate.blogspot.com/
https://urbanchronicleweekly.blogspot.com/
https://newsofthedailyvillage.blogspot.com/
https://metropolisgazettemorning.blogspot.com/
https://timesoftheurbanevening.blogspot.com/
https://patriotweeklysentinel.blogspot.com/
https://boroughmorningpress.blogspot.com/
https://weeklystandardofthecounty.blogspot.com/
https://eveningtribuneofthecity.blogspot.com/
https://metropolisdailypost.blogspot.com/
https://countybulletindispatch.blogspot.com/
https://weeklyheraldofthevillage.blogspot.com/
https://morningchronicleofthetown.blogspot.com/
https://cityeveningtimes.blogspot.com/
https://metroadvocatedaily.blogspot.com/
https://villagemorningjournal.blogspot.com
https://countypostsentinel.blogspot.com/
https://morningstandardofthemetro.blogspot.com/
https://weeklytownbulletin.blogspot.com/
https://borougheveningnews.blogspot.com/
https://patriotofthemetropolis.blogspot.com/
https://dailyburgcourier.blogspot.com/
https://morninggazetteofthecity.blogspot.com/
https://weeklyinquirerdispatch.blogspot.com/
https://villagestandarddaily.blogspot.com/
https://eveningpressofthetown.blogspot.com/
https://dailymetrobulletin.blogspot.com/
https://countyadvocatenews.blogspot.com/
https://urbansunsentinel.blogspot.com/
https://timesofthemetropolis.blogspot.com/
https://citychronicleweekly.blogspot.com/
https://boroughmorninginquirer.blogspot.com/
https://heraldofthecounty.blogspot.com/
https://urbanweeklygazette.blogspot.com/
https://metroeveningpress.blogspot.com/
https://dailynewsofthevillage.blogspot.com/
https://themiddaypost.blogspot.com/
https://chroniclemorningadvocate.blogspot.com/
https://countysentineljournal.blogspot.com/
https://burgsundispatch.blogspot.com/
https://patriotweeklytimes.blogspot.com/
https://urbandailytribune.blogspot.com/
https://citymorningherald.blogspot.com/
https://metroeveningbulletin.blogspot.com/
https://eveningvillagestandard.blogspot.com/
https://weeklymetropolissentinel.blogspot.com/
https://thanks2018.blogspot.com/
https://dailyurbanjournal.blogspot.com/
https://morningcountynews.blogspot.com/
https://cityadvocateweekly.blogspot.com/
https://eveningmetrotribune.blogspot.com/
https://dailyboroughgazette.blogspot.com/
https://weeklytowntimes.blogspot.com/
https://morningburgdispatch.blogspot.com/
https://dailymetropolisbulletin.blogspot.com/
https://eveningcityherald.blogspot.com/
https://weeklyurbanchronicle.blogspot.com/
https://morningcountypost.blogspot.com/
https://dailyvillagesun.blogspot.com/
https://weeklymetrostandard.blogspot.com/
https://eveningtownpress.blogspot.com/
https://dailymetropolisnews.blogspot.com/
https://morningboroughtimes.blogspot.com/
https://weeklycitygazette.blogspot.com/
https://dailyurbansentinel.blogspot.com/
https://eveningburgchronicle.blogspot.com/
https://weeklycountyglobe.blogspot.com/
https://morningtownpatriot.blogspot.com/
https://dailyvillagetribune.blogspot.com/
https://eveningcitycourier.blogspot.com/
https://weeklymetropolisherald.blogspot.com/
https://www.blogger.com/profile/03145414916620895872
https://www.blogger.com/profile/17335707951530585032
https://www.blogger.com/profile/04891053317016931747
https://www.blogger.com/profile/03351773725581680470
https://www.blogger.com/profile/05669853150298336513
https://www.blogger.com/profile/07928862671335189530
https://www.blogger.com/profile/02464219756333858453
https://www.blogger.com/profile/06274626399264789848
https://www.blogger.com/profile/01391950296027823849
https://www.blogger.com/profile/00479616136880013956
https://www.blogger.com/profile/15538533902478896650
https://www.blogger.com/profile/17319524322164798525
https://www.blogger.com/profile/10979254887367528640
https://www.blogger.com/profile/01368580609399770891
https://www.blogger.com/profile/04201158978831414905
https://www.blogger.com/profile/14879889409226321858