Re: Reconnect to DBMS button must be pressed before a query refresh

[Mike Lischke]

Henry,

sounds like there's a caching effect happening or maybe an improper handling when a server connection timed out. What server is that? How long is your while after which you look if there are new results?

Note:in the WB preferences you can set a keep alive interval that determines how often the server is pinged to keep an inactive connection open (see SQL Editor tab in the pref settings).

Mike

Mike Lischke, MySQL Developer Tools
Oracle Corporation

MySQL Workbench on Github: https://github.com/mysql/mysql-workbench
On Twitter: https://twitter.com/MySQLWorkbench
On Slack: mysqlcommunity.slack.com (#workbench)
Report bugs to http://bugs.mysql.com
MySQL documentation can be found here: http://dev.mysql.com/doc/refman/8.0/en/