[jbosstools-issues] [JBoss JIRA] Resolved: (JBIDE-5690) Create UI for full-publish hotkey in case multiple modules or servers apply

Create UI for full-publish hotkey in case multiple modules or servers apply --------------------------------------------------------------------------- Key: JBIDE-5690 URL: https://jira.jboss.org/jira/browse/JBIDE-5690 Project: Tools (JBoss Tools) Issue Type: Task Components: JBossAS Affects Versions: 3.1.0.CR2 Reporter: Rob Stryker Assignee: Rob Stryker Priority: Blocker Fix For: 3.1.0.CR2 Currently the hotkey will only take the first module it finds, and from that, it will take the first server it finds that this item is already deployed to. So if you have 5 servers, but the module is deployed on *none* of them, this action will do nothing. If however, the module is already deployed to server1, this action will full publish the module to server1. If it is already deployed to several servers, it will full-publish it to the first server that is returned in the list. A UI must be added to allow selection of which server you'd like to send it to.