c

info.kwarc.mmt.twelf

WebServer

class WebServer extends HServer

An HTTP RESTful server.

Source
webserver.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. WebServer
  2. HServer
  3. HLoggable
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new WebServer(catalog: Catalog, port: Int)

    catalog

    the main controller and storage

    port

    the port on which the server runs

Type Members

  1. class RequestHandler extends HApp

    Request handler

    Request handler

    Attributes
    protected

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. val adminError: String

    Error page returned by the server

  5. var adminHtml: Option[Elem]

    Administration page, read from jar://resources/admin.html

  6. def apps: List[RequestHandler]

    Returns the list of available applications.

    Returns the list of available applications.

    Attributes
    protected
    Definition Classes
    WebServerHServer
    See also

    tiscaf.HApp

  7. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  8. def bindHost: String

    The host the server binds to

    The host the server binds to

    Attributes
    protected
    Definition Classes
    HServer
  9. def bufferSize: Int

    Returns the NIO buffer size.

    Returns the NIO buffer size.

    Definition Classes
    HServer
  10. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  11. def connectionTimeoutSeconds: Int

    Returns the connection timeout.

    Returns the connection timeout. It has to purposes:

    • a connection without any socket activity during this period will be closed
    • if you use (and client wants) 'keep-alive' connection, this period is declared in response header
    Definition Classes
    HServer
  12. def defaultHeaders: Map[String, String]

    The list of defaults headers that are set by the server for each request.

    The list of defaults headers that are set by the server for each request. Each let may override (or remove) them later

    Definition Classes
    HServer
  13. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  14. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  15. def error(msg: String, t: Throwable): Unit

    Called to log a tiscaf internal error.

    Called to log a tiscaf internal error. Note: This methods is not intended to be called by applications using tiscaf. Override it to log using your favorite logging library. By default, logs the message and the stack trace to stderr.

    Definition Classes
    WebServerHServerHLoggable
  16. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  17. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  18. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  19. def info(msg: String): Unit

    Called to log a tiscaf internal information.

    Called to log a tiscaf internal information. Note: This methods is not intended to be called by applications using tiscaf. Override it to log using your favorite logging library. By default, logs the message to stdout.

    Definition Classes
    WebServerHServerHLoggable
  20. def interruptTimeoutMillis: Int

    Returns the time a shutdown process let the HLets a chance to finish properly.

    Returns the time a shutdown process let the HLets a chance to finish properly.

    Definition Classes
    HServer
  21. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  22. val logInternals: Boolean

    Sets it to true to have internal information from tiscaf logged

    Sets it to true to have internal information from tiscaf logged

    Attributes
    protected
    Definition Classes
    HServer
  23. def maxPostDataLength: Int

    Returns the maximum upload size allowed.

    Returns the maximum upload size allowed.

    Attributes
    protected
    Definition Classes
    HServer
  24. def name: String

    Returns the server name, used in response headers.

    Returns the server name, used in response headers.

    Definition Classes
    WebServerHServer
  25. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  26. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  27. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  28. def onStart(): Unit

    Executed at the end of the server is started

    Executed at the end of the server is started

    Attributes
    protected
    Definition Classes
    HServer
  29. def onStop(): Unit

    Executed before the server is stopped

    Executed before the server is stopped

    Attributes
    protected
    Definition Classes
    HServer
  30. def poolSize: Int

    Returns the executor pool size.

    Returns the executor pool size.

    Attributes
    protected
    Definition Classes
    HServer
  31. def ports: Set[Int]

    Returns the list of ports, the server listens to.

    Returns the list of ports, the server listens to.

    Attributes
    protected
    Definition Classes
    WebServerHServer
  32. def queueSize: Int

    Returns the executor queue size.

    Returns the executor queue size.

    Attributes
    protected
    Definition Classes
    HServer
  33. val readmeError: String

    Error page returned by the server

  34. var readmeText: Option[String]

    Readme page, read from jar://resources/readme.txt

  35. def selectorPoolSize: Int
    Attributes
    protected
  36. def ssl: List[HSslContext]

    Returns the SSL settings if any.

    Returns the SSL settings if any.

    Definition Classes
    HServer
  37. def start: Unit

    Starts the server.

    Starts the server.

    Definition Classes
    HServer
  38. def startStopListener: Unit

    Starts the stop listener.

    Starts the stop listener. Override if you want more elaborated shutdown procedure (and replace tiscaf.HStop)

    Definition Classes
    WebServerHServer
  39. def stop: Unit

    Stops the server.

    Stops the server.

    Definition Classes
    HServer
  40. def stopHost: String

    Returns the host to listen to for stop message.

    Returns the host to listen to for stop message.

    Definition Classes
    HServer
  41. def stopPort: Int

    Returns the port number listened to for a stop message.

    Returns the port number listened to for a stop message.

    Definition Classes
    HServer
  42. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  43. def talkPoolSize: Int
    Attributes
    protected
  44. def talkQueueSize: Int
    Attributes
    protected
  45. def tcpNoDelay: Boolean
    Definition Classes
    WebServerHServer
  46. def toString(): String
    Definition Classes
    AnyRef → Any
  47. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  48. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  49. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  50. def warning(msg: String): Unit

    Called to log a tiscaf internal warning.

    Called to log a tiscaf internal warning. Note: This methods is not intended to be called by applications using tiscaf. Override it to log using your favorite logging library. By default, logs the message to stdout.

    Definition Classes
    WebServerHServerHLoggable

Inherited from HServer

Inherited from HLoggable

Inherited from AnyRef

Inherited from Any

Ungrouped