public void reset() { servers = ServerList.getEnvironments(); value = def; }
public static String[] getServerListIDs() { List<String> l = new ArrayList<String>(); for (ExecutionEnvironment env : ServerList.getEnvironments()) { l.add(ExecutionEnvironmentFactory.toUniqueID(env)); } return l.toArray(new String[l.size()]); }
private boolean addDevelopmentHost(ExecutionEnvironment execEnv) { final ServerRecord record = ServerList.addServer(execEnv, null, null, false, false); servers = ServerList.getEnvironments(); return record != null; }
public DevelopmentHostConfiguration(ExecutionEnvironment execEnv) { servers = ServerList.getEnvironments(); value = 0; for (int i = 0; i < servers.size(); i++) { if (execEnv.equals(servers.get(i))) { value = i; break; } } def = value; pcs = new PropertyChangeSupport(this); int buildPlatform = CompilerSetManager.get(execEnv).getPlatform(); if (buildPlatform == -1) { // TODO: CompilerSet is not reliable about platform; it must be. buildPlatform = PlatformTypes.PLATFORM_NONE; } buildPlatformConfiguration = new BuildPlatformConfiguration(buildPlatform, Platforms.getPlatformDisplayNames()); }
void assign(DevelopmentHostConfiguration conf) { boolean dirty2 = false; ExecutionEnvironment oldEnv = getExecutionEnvironment(); ExecutionEnvironment newEnv = conf.getExecutionEnvironment(); if (servers.size() != conf.servers.size()) { servers = ServerList.getEnvironments(); dirty2 = true; } if (!newEnv.equals(oldEnv)) { dirty2 = true; } setDirty(dirty2); setHost(newEnv); getBuildPlatformConfiguration().assign(conf.getBuildPlatformConfiguration()); }