Author: dgeraskov
Date: 2009-08-06 07:55:19 -0400 (Thu, 06 Aug 2009)
New Revision: 16979
Modified:
trunk/hibernatetools/plugins/org.hibernate.eclipse/src/org/hibernate/console/ConsoleConfiguration.java
Log:
https://jira.jboss.org/jira/browse/JBIDE-4722
Modified:
trunk/hibernatetools/plugins/org.hibernate.eclipse/src/org/hibernate/console/ConsoleConfiguration.java
===================================================================
---
trunk/hibernatetools/plugins/org.hibernate.eclipse/src/org/hibernate/console/ConsoleConfiguration.java 2009-08-06
11:35:59 UTC (rev 16978)
+++
trunk/hibernatetools/plugins/org.hibernate.eclipse/src/org/hibernate/console/ConsoleConfiguration.java 2009-08-06
11:55:19 UTC (rev 16979)
@@ -174,7 +174,9 @@
protected void refreshProfile(IConnectionProfile profile) {
// refresh profile (refresh jpa connection):
// get fresh information about current db structure and update error markers
- profile.disconnect();
+ if (profile.getConnectionState() == IConnectionProfile.CONNECTED_STATE){
+ profile.disconnect();
+ }
profile.connect(null);
}