public class DomTermServer
extends DomHttpServer
| Constructor and Description |
|---|
DomTermServer(int port) |
| Modifier and Type | Method and Description |
|---|---|
protected Backend |
createBackend() |
static DomTermServer |
getInstance() |
static int |
getInstancePort() |
static java.lang.String |
startDomTermConsole(java.lang.String command) |
public DomTermServer(int port)
throws java.net.UnknownHostException,
java.io.IOException
java.net.UnknownHostExceptionjava.io.IOExceptionprotected Backend createBackend()
public static DomTermServer getInstance() throws java.io.IOException
java.io.IOExceptionpublic static int getInstancePort()
throws java.io.IOException
java.io.IOExceptionpublic static java.lang.String startDomTermConsole(java.lang.String command)
throws java.lang.Throwable
java.lang.Throwable