public class RemoteWorkspaceServer
extends java.lang.Object
implements java.io.Closeable
This server will register the ephemeral port it uses in the
cnf/cache/remotews
directory so that it can be found by clients. This
registration is deleted when the process properly exits.
Modifier and Type | Class and Description |
---|---|
(package private) class |
RemoteWorkspaceServer.Instance
Holds the implementations of the
RemoteWorkspace |
Modifier and Type | Field and Description |
---|---|
(package private) org.slf4j.Logger |
logger |
(package private) java.io.File |
remotewsPort |
(package private) java.io.Closeable |
server |
(package private) Workspace |
workspace |
Constructor and Description |
---|
RemoteWorkspaceServer(Workspace workspace)
Create a new Remote Workspace Server.
|
Modifier and Type | Method and Description |
---|---|
void |
close()
Close the server.
|
final org.slf4j.Logger logger
final java.io.Closeable server
final java.io.File remotewsPort
final Workspace workspace
public RemoteWorkspaceServer(Workspace workspace) throws java.net.UnknownHostException, java.io.IOException
RemoteWorkspace
interface. The port number will be registered in
cnf/cache/remotews/<portnr>
. That is, it is possible to have
multiple workspaces open on the system workspace. (Locking between
workspaces is not handled though.)workspace
- the given workspacejava.net.UnknownHostException
java.io.IOException
public void close() throws java.io.IOException
close
in interface java.io.Closeable
close
in interface java.lang.AutoCloseable
java.io.IOException