public class ServerSet extends Object
Constructor and Description |
---|
ServerSet(File configFile)
Constructs a new ServerSet.
|
Modifier and Type | Method and Description |
---|---|
void |
finalize() |
net.ladypleaser.rmilite.Server |
getRmiServer()
Returns a running RMI server associated with this object.
|
org.apache.xmlrpc.WebServer |
getXmlRpcServer()
Returns a running XML-RPC server associated with this object.
|
URL |
getXmlRpcUrl()
Returns the URL for the XML-RPC server associated with this object.
|
void |
stop()
Tidies up when the servers provided by this object are no
longer requires.
|
public ServerSet(File configFile) throws IOException, RemoteException
configFile
is specified
it will be used to record details of the current configuration,
in the standard PLASTIC way (serialised properties).
If it's null, this information will not be recorded.configFile
- file for storing configuration of the running
PLASTIC hubIOException
RemoteException
public net.ladypleaser.rmilite.Server getRmiServer()
public org.apache.xmlrpc.WebServer getXmlRpcServer()
public URL getXmlRpcUrl()
public void stop()
Copyright © 2024 Central Laboratory of the Research Councils. All Rights Reserved.