[ https://issues.jboss.org/browse/JBIDE-13288?page=com.atlassian.jira.plugi... ] Nick Boldt edited comment on JBIDE-13288 at 4/23/13 10:33 AM: -------------------------------------------------------------- no, you would not have any embedding of the specific version url in jbdevstudio. You would have something like org.jboss.devstudio.baseurl=https://devstudio.jboss.com/discovery and then the discovery code (assuming its plugin is versioned 7.0.0.Beta1) would look through: $\{baseurl}/7/0/0/Beta1/devstudio-directory.xml $\{baseurl}/7/0/0/devstudio-directory.xml $\{baseurl}/7/0/devstudio-directory.xml $\{baseurl}/7/devstudio-directory.xml and take the first one it finds. Note: this comment was edited to fix formatting and typos. was (Author: maxandersen): no, you would not have any embedding of the specific version url in jbdevstudio. yuo would have something like org.jboss.devstudio.baseurl=https://devstudio.jboss.com/disccovery and then the discovery code (assuming its plugin is versioned 7.0.0.Beta1) would look through: ${baseurl}/7/0/0/Beta1/devstudio-directory.xml ${baseurl}/7/0/0/devstudio-directory.xml ${baseurl}/7/0/devstudio-directory.xml ${baseurl}/7/devstudio-directory.xml and take the first one it finds. -- 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