[teiid-designer-issues] [JBoss JIRA] (TEIIDDES-1824) New Server does not show up in 'Change Default Server' options

New Server does not show up in 'Change Default Server' options -------------------------------------------------------------- Key: TEIIDDES-1824 URL: https://issues.jboss.org/browse/TEIIDDES-1824 Project: Teiid Designer Issue Type: Bug Components: Teiid Integration Affects Versions: 8.2 Reporter: Mark Drilling Assignee: Paul Richardson I had 'Server1' defined in the servers view. Then I created 'Server2' of a different type server/different Teiid display name. I then selected "Change Default Server", but it did not give me an option between the two servers - it just selected 'Server1'. I had to stop/restart Designer - then the second server showed up.