public interface ServerInfo
Modifier and Type | Method and Description |
---|---|
Platform |
getPlatform() |
java.net.URL |
getServerHome() |
java.lang.Object |
getServerId()
A unique identifier for the server.
|
java.lang.Object getServerId()
Platform getPlatform()
java.net.URL getServerHome()