public class DomTermServer
extends org.domterm.DomHttpServer
Constructor and Description |
---|
DomTermServer(int port) |
Modifier and Type | Method and Description |
---|---|
protected org.domterm.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 org.domterm.Backend createBackend()
createBackend
in class org.domterm.DomHttpServer
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