File	Doc	Category	Size	Date	Package
Server.java	API Doc	Glassfish v2 API	2426	Fri May 04 22:35:00 BST 2007	None

Server

• java.lang.Object

Fields Summary
private ServerManager	serverManager

Constructors Summary
public Server(ServerManager serverManager) this.serverManager = serverManager;

Methods Summary
public java.util.Vector	getApplicationNames() Vector v = new Vector(); return v;
public java.lang.String	getName() return "local"; // NOI18N
public boolean	isInstalled(java.lang.String applicationName) return true;