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.UnknownHostExceptionjava.io.IOExceptionpublic void close()
throws java.io.IOException
close in interface java.io.Closeableclose in interface java.lang.AutoCloseablejava.io.IOException