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.UnknownHostException
java.io.IOException
protected Backend createBackend()
public static DomTermServer getInstance() throws java.io.IOException
java.io.IOException
public static int getInstancePort() throws java.io.IOException
java.io.IOException
public static java.lang.String startDomTermConsole(java.lang.String command) throws java.lang.Throwable
java.lang.Throwable