Plugins können nicht mehr aktiviert werden

Hallo zusammen,

seit dem Update auf v6.3.5.3 kann ich keine Plugins mehr aktivieren.

php bin/console plugin:uninstall MyTheme && php bin/console plugin:install --activate MyTheme

Deinstallieren und installieren funktioniert. Aber beim aktivieren bricht er immer, mit folgender Meldung ab:

An exception occurred while executing '
          SELECT `creation_timestamp`
          FROM `migration`
          WHERE `update` IS NOT NULL AND `update_destructive` IS NULL
      ':

Warning: PDO::query(): MySQL server has gone away

Das verstehe ich nicht, denn der Server ist bei dem Prozess gar nicht besonders ausgelastet.

Habe die Werte für innodb_buffer_pool_size und key_buffer_size erhöht, jetzt geht’s.