⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 machine.java

📁 RESIN 3.2 最新源码
💻 JAVA
字号:
/* * Copyright (c) 1998-2008 Caucho Technology -- all rights reserved * * This file is part of Resin(R) Open Source * * Each copy or derived work must preserve the copyright notice and this * notice unmodified. * * Resin Open Source is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by * the Free Software Foundation; either version 2 of the License, or * (at your option) any later version. * * Resin Open Source is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE, or any warranty * of NON-INFRINGEMENT.  See the GNU General Public License for more * details. * * You should have received a copy of the GNU General Public License * along with Resin Open Source; if not, write to the * *   Free Software Foundation, Inc. *   59 Temple Place, Suite 330 *   Boston, MA 02111-1307  USA * * @author Scott Ferguson */package com.caucho.server.cluster;import java.util.*;import java.util.logging.*;import com.caucho.util.*;/** * Represents a machine in a cluster.  Contains multiple servers. */public class Machine {  private static final Logger log    = Logger.getLogger(Machine.class.getName());  private static final L10N L = new L10N(Machine.class);  private Cluster _cluster;  private String _id = "";  private int _index;  private ArrayList<ClusterServer> _serverList    = new ArrayList<ClusterServer>();  public Machine(Cluster cluster)  {    _cluster = cluster;    _index = cluster.getMachineList().size();  }  /**   * Gets the server identifier.   */  public String getId()  {    return _id;  }  /**   * Sets the server identifier.   */  public void setId(String id)  {    _id = id;  }  /**   * Returns the machine index.   */  public int getIndex()  {    return _index;  }  /**   * Sets the machine index.   */  void setIndex(int index)  {    _index = index;  }  /**   * Returns the cluster.   */  public Cluster getCluster()  {    return _cluster;  }  /**   * Creates a new ClusterServer.   */  public ClusterServer createServer()  {    ClusterServer server = new ClusterServer(this);    _serverList.add(server);    return _cluster.createServer(server);  }  /**   * Creates a new ClusterServer.   */  public void addServer(ClusterServer server)  {    _cluster.addServer(server);  }  /**   * Returns the list of servers.   */  public ArrayList<ClusterServer> getServerList()  {    return _serverList;  }  public String toString()  {    return ("Machine[id=" + getId() + "]");  }}

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -