Author: snjeza
Date: 2009-02-10 18:22:56 -0500 (Tue, 10 Feb 2009)
New Revision: 13575
Modified:
trunk/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/editor/PortSection.java
Log:
JBIDE-3759 Servers properties menu errors.
Modified:
trunk/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/editor/PortSection.java
===================================================================
---
trunk/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/editor/PortSection.java 2009-02-10
23:22:28 UTC (rev 13574)
+++
trunk/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/editor/PortSection.java 2009-02-10
23:22:56 UTC (rev 13575)
@@ -57,14 +57,18 @@
public void init(IEditorSite site, IEditorInput input) {
super.init(site, input);
helper = new ServerAttributeHelper(server.getOriginal(), server);
- IExtensionRegistry registry = Platform.getExtensionRegistry();
- IConfigurationElement[] cf =
registry.getConfigurationElementsFor(JBossServerUIPlugin.PLUGIN_ID,
"ServerEditorPortSection");
- for( int i = 0; i < cf.length; i++ ) {
- try {
- Object o = cf[i].createExecutableExtension("class");
- if( o != null && o instanceof IPortEditorExtension)
- sectionList.add((IPortEditorExtension)o);
- } catch( CoreException ce) { /* ignore */ }
+ if (sectionList.size() <= 0) {
+ IExtensionRegistry registry = Platform.getExtensionRegistry();
+ IConfigurationElement[] cf = registry.getConfigurationElementsFor(
+ JBossServerUIPlugin.PLUGIN_ID, "ServerEditorPortSection");
+ for (int i = 0; i < cf.length; i++) {
+ try {
+ Object o = cf[i].createExecutableExtension("class");
+ if (o != null && o instanceof IPortEditorExtension)
+ sectionList.add((IPortEditorExtension) o);
+ } catch (CoreException ce) { /* ignore */
+ }
+ }
}
}
Show replies by date