📄 xmppserverinfoimpl.java
字号:
/**
* $RCSfile$
* $Revision: 1583 $
* $Date: 2005-07-03 17:55:39 -0300 (Sun, 03 Jul 2005) $
*
* Copyright (C) 2004 Jive Software. All rights reserved.
*
* This software is published under the terms of the GNU Public License (GPL),
* a copy of which is included in this distribution.
*/
package org.jivesoftware.wildfire.spi;
import org.jivesoftware.util.Version;
import org.jivesoftware.wildfire.XMPPServerInfo;
import org.jivesoftware.wildfire.ConnectionManager;
import org.jivesoftware.util.JiveGlobals;
import java.util.Date;
import java.util.Iterator;
import java.util.Collections;
/**
* Implements the server info for a basic server. Optimization opportunities
* in reusing this object the data is relatively static.
*
* @author Iain Shigeoka
*/
public class XMPPServerInfoImpl implements XMPPServerInfo {
private Date startDate;
private Date stopDate;
private String name;
private Version ver;
private ConnectionManager connectionManager;
/**
* Simple constructor
*
* @param serverName the server's serverName (e.g. example.org).
* @param version the server's version number.
* @param startDate the server's last start time (can be null indicating
* it hasn't been started).
* @param stopDate the server's last stop time (can be null indicating it
* is running or hasn't been started).
* @param connectionManager the object that keeps track of the active ports.
*/
public XMPPServerInfoImpl(String serverName, Version version, Date startDate, Date stopDate,
ConnectionManager connectionManager)
{
this.name = serverName;
this.ver = version;
this.startDate = startDate;
this.stopDate = stopDate;
this.connectionManager = connectionManager;
}
public Version getVersion() {
return ver;
}
public String getName() {
return name;
}
public void setName(String serverName) {
name = serverName;
if (serverName == null) {
JiveGlobals.deleteProperty("xmpp.domain");
}
else {
JiveGlobals.setProperty("xmpp.domain", serverName);
}
}
public Date getLastStarted() {
return startDate;
}
public Date getLastStopped() {
return stopDate;
}
public Iterator getServerPorts() {
if (connectionManager == null) {
return Collections.EMPTY_LIST.iterator();
}
else {
return connectionManager.getPorts();
}
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -