Brontekst bekijken van MySQL Workbench-freeze-bug

Dit is een probleem dat ik rond 2019 had, en nu in nov. 2020 na een installatie op een nieuwe laptop opnieuw: Als er meer dan ca. 3 schermen open zijn binnen de interface van MySQL Workbench, dan beginnen er onderdelen te bevriezen.

Dit betreft Linux Mint 20, welke is gebaseerd op ubuntu 20.04.

== Fout herproduceren ==

<pre>
use bal_amz_sup;

select * from feed;
select * from feed;
select * from feed;
select * from feed;
select * from feed;
select * from feed;
select * from feed;
select * from feed;
select * from feed;
select * from feed;
</pre>

== Aanvullende gegevens ==

=== Output terminal ===

Versie: 8.0.22 build 107600 CE (64 bits) - Community.

Foutmelding als ik 'm gebruik vanaf terminal:

<pre>
/usr/bin/mysql-workbench

Workbench can't find libproj.so, some options may be unavailable.

(mysql-workbench-bin:17518): Gtk-CRITICAL **: 10:41:40.516: gtk_tree_view_unref_tree_helper: assertion 'node != NULL' failed

(mysql-workbench-bin:17518): Gtk-CRITICAL **: 10:42:45.646: gtk_tree_view_unref_tree_helper: assertion 'node != NULL' failed

...
</pre>

Onduidelijk of dit probleem echt een rol speelt.

Opmerking van iemand: ''Note: This is caused by a badly installed MySQL server. More specifically, by the DB admin not running mysql_upgrade_dbs after uprading MySQL.''

=== Work-around met tab links (werkt niet) ===

Leuk bedacht, maar werkt niet voor mij:
<pre>
Possible Workaround

1. Open your query for the first time and you will see the results grid.
2. Slide that tab to the left of the default empty Query tab.
3. Always keep this window over to the left of the empty query tab.
4. Results grid will stay open on subsequent queries.
</pre>

Er zou een oplossing zijn, maar dat is niet wat ik ervaar:

=== Fixed in 8.0.13? ===

<pre>
Posted by developer:
 
Fixed as of the upcoming MySQL Workbench 8.0.13 release, and here's the changelog entry:

Executing queries over an period of time caused the existing result grid
in each query tab to be hidden when the grid was previously visible and
prevented the results grid in new tabs from showing.

Thank you for the bug report.
</pre>

=== mysql_upgrade ===

De tool ''mysql_upgrade'' wordt niet meer ondersteund, en heeft betrekking op het upgraden van een server - Dat speelt hier niet: Dit betreft een nieuwe installatie. De bijbehorende databases zijn wel uit oudere versies van MySQL, maar dat boeit niet, want geïmporteerd als SQL-dumpbestanden.

== MySQL Workbench 8.0.22 opnieuw geïnstalleerd ==

Ik kan niet zomaar elke versie van WB installeren: Het moet overeenkomen met m'n versie van Ubuntu (Linux Mint 20 = Ubuntu 20.04). Daarom 8.0.22 opnieuw geïnstalleerd. Er zijn twee downloads voor 20.04:

* <code>(mysql-workbench-community_8.0.22-1ubuntu20.04_amd64.deb)</code> - 22MB
* <code>(mysql-workbench-community-dbgsym_8.0.22-1ubuntu20.04_amd64.deb)</code> - 31,7MB.

Ik heb de eerste gekozen.

== Installatie middels apt? ==

Krijg ik een betere versie als ik MySQL Workbench installeer via ''apt''? - Dit blijkt niet meer te werken.

Eerst de huidige installatie verwijderen:

<pre>
> dpkg --get-selections | grep mysql

libmysqlclient21:amd64				install
mysql-client-8.0				install
mysql-client-core-8.0				install
mysql-common					install
mysql-server					install
mysql-server-8.0				install
mysql-server-core-8.0				install
mysql-workbench-community			install

sudo apt purge mysql-workbench-community

...
Removing mysql-workbench-community (8.0.22-1ubuntu20.04) ...
...
</pre>

Enkele pogingen om te installeren via apt:

<pre>
> sudo apt install mysql-workbench
E: Unable to locate package mysql-workbench

> sudo apt install mysql-workbench-community
E: Unable to locate package mysql-workbench-community
</pre>

== dbgsym-versie installeren? ==

[[file:20201130-1956.png|thumb|Linux Mint 20 correspondeert met Ubuntu 20.04. Er is maar één versie van MySQL Workbench beschikbaar: 8.0.22. Er zijn twee 'varianten' beschikbaar]]

Op de download-pagina lijken twee 8.0.22-varianten aangeboden te worden:

* <code>(mysql-workbench-community_8.0.22-1ubuntu20.04_amd64.deb)</code> - 22MB
* <code>(mysql-workbench-community-dbgsym_8.0.22-1ubuntu20.04_amd64.deb)</code> - 31,7MB.

De eerste variant heb ik nu al twee keer geïnstalleerd. Laat ik nu de tweede variant proberen.

Opnieuw eerst de huidige installatie verwijderen:

<pre>
> dpkg --get-selections | grep mysql

libmysqlclient21:amd64				install
mysql-client-8.0				install
mysql-client-core-8.0				install
mysql-common					install
mysql-server					install
mysql-server-8.0				install
mysql-server-core-8.0				install
mysql-workbench-community			install

sudo apt purge mysql-workbench-community

...
Removing mysql-workbench-community (8.0.22-1ubuntu20.04) ...
...
</pre>

Vervolgens de ''dbgsym''-variant gepoogd te installeren. Resultaten: 

* ''dbgsum'' staat voor ''debug symbols''. Je kunt dit pakket alleen installeren in aanvulling op het eerste pakket. BTW: Geen idee wat ''debug symbols'' zijn. 
* Belangrijker: MySQL Workbench bevriest nog steeds om de haverklap.

== 8.0.20 via Product Archive ==

Eih, je kunt wel degelijk oudere versies downloaden via de Archive-pagina!

{|
|[[file:20201130-2146.png|thumb|Versie 8.0.20 voldeed uitstekend op m'n vorige laptop, ''Dell2016''. Hopelijk geldt hetzelfde op m'n nieuwe laptop, ''Dell2020'']]
|[[file:20201130-2147.png|thumb|''So far, so good...'']]
|}

== Zie ook ==

* [[MySQL Workbench - Installatie]]
* [[MySQL Workbench - Remote connection]]
* [[Versies (Linux Mint)]]

== Bronnen ==

* https://bugs.mysql.com/bug.php?id=76909
* https://bugs.mysql.com/bug.php?id=92261
* https://bugs.mysql.com/bug.php?id=91265 - Hoofd-bug-report? Verwijst naar tientallen reporten die duplikaten zijn
* https://bugs.mysql.com/bug.php?id=91689 - Duplikaat van 91265
* https://bugs.mysql.com/bug.php?id=91832 - Duplikaat van 91265
* https://bugs.mysql.com/bug.php?id=91882 - Duplikaat van 91265
* https://dev.mysql.com/downloads/workbench
* https://downloads.mysql.com/archives/workbench