Przeglądaj źródła

removed Platform.isRunning

andreas muelder 7 lat temu
rodzic
commit
75724dd602

+ 5 - 7
plugins/org.yakindu.sct.domain/src/org/yakindu/sct/domain/extension/DomainRegistry.java

@@ -66,14 +66,12 @@ public class DomainRegistry {
 
 	private static List<IDomain> domainDescriptors;
 
-	public static List<IDomain> getDomains() {
-		synchronized (domainDescriptors) {
-			if (domainDescriptors == null) {
-				domainDescriptors = Lists.newArrayList();
-				initFromExtensions();
-			}
-			return domainDescriptors;
+	public static synchronized List<IDomain> getDomains() {
+		if (domainDescriptors == null) {
+			domainDescriptors = Lists.newArrayList();
+			initFromExtensions();
 		}
+		return domainDescriptors;
 	}
 
 	public static IDomain getDomain(final String id) {