[jbosstools-issues] [JBoss JIRA] (JBIDE-18917) Provide better error message when getJBossDiscoveryDirectory() returns null

Radim Hopp created JBIDE-18917: ---------------------------------- Summary: Provide better error message when getJBossDiscoveryDirectory() returns null Key: JBIDE-18917 URL: https://issues.jboss.org/browse/JBIDE-18917 Project: Tools (JBoss Tools) Issue Type: Bug Components: central Affects Versions: 4.2.1.CR1 Reporter: Radim Hopp Priority: Optional This is followup of JBIDE-18819. Now, the error message suggests user to check internet connection, but as I understand this, getJBossDiscoveryDirectory() could only return null when jboss.discovery.directory.url property is not set (meaning ide-config.properties was loaded, but does not contain jboss.discovery.directory.url for given version of JBT/JBDS). Thus internet is working but something wrong happened on ide-config.propertis side (our side). -- This message was sent by Atlassian JIRA (v6.3.8#6338)