[jbosstools-issues] [JBoss JIRA] (JBIDE-15707) OpenShift Explorer: connection is not refreshed if I delete the domain

[Andre Dietisheim (JIRA)]

Andre Dietisheim created JBIDE-15707:
----------------------------------------

             Summary: OpenShift Explorer: connection is not refreshed if I delete the domain
                 Key: JBIDE-15707
                 URL: https://issues.jboss.org/browse/JBIDE-15707
             Project: Tools (JBoss Tools)
          Issue Type: Bug
          Components: openshift
    Affects Versions: 4.1.1.Beta1
            Reporter: Andre Dietisheim
            Assignee: Andre Dietisheim
             Fix For: 4.1.1.Beta1




--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators
For more information on JIRA, see: http://www.atlassian.com/software/jira