Author: snjeza
Date: 2012-03-01 13:57:11 -0500 (Thu, 01 Mar 2012)
New Revision: 39232
Modified:
trunk/runtime/plugins/org.jboss.tools.runtime.ui/src/org/jboss/tools/runtime/ui/RuntimeScanner.java
Log:
JBIDE-10244 Cleaning up Runtime plugin
Modified:
trunk/runtime/plugins/org.jboss.tools.runtime.ui/src/org/jboss/tools/runtime/ui/RuntimeScanner.java
===================================================================
---
trunk/runtime/plugins/org.jboss.tools.runtime.ui/src/org/jboss/tools/runtime/ui/RuntimeScanner.java 2012-03-01
18:41:15 UTC (rev 39231)
+++
trunk/runtime/plugins/org.jboss.tools.runtime.ui/src/org/jboss/tools/runtime/ui/RuntimeScanner.java 2012-03-01
18:57:11 UTC (rev 39232)
@@ -10,6 +10,7 @@
************************************************************************************/
package org.jboss.tools.runtime.ui;
+import java.util.HashSet;
import java.util.List;
import java.util.Set;
@@ -54,7 +55,15 @@
Display.getDefault().asyncExec(new Runnable() {
public void run() {
Shell shell = Display.getCurrent().getActiveShell();
- RuntimeUIActivator.refreshRuntimes(shell,
RuntimeUIActivator.getDefault().getRuntimePaths(), null, false, 7);
+ Set<RuntimePath> runtimePaths = new HashSet<RuntimePath>();
+ for (RuntimePath runtimePath:RuntimeUIActivator.getDefault().getRuntimePaths()) {
+ if (runtimePath.isScanOnEveryStartup()) {
+ runtimePaths.add(runtimePath);
+ }
+ }
+ if (runtimePaths.size() > 0) {
+ RuntimeUIActivator.refreshRuntimes(shell, runtimePaths, null, false, 7);
+ }
}
});
}
Show replies by date