diff --git a/_config.yml b/_config.yml deleted file mode 100644 index 88d17fbc..00000000 --- a/_config.yml +++ /dev/null @@ -1,2 +0,0 @@ -theme: jekyll-theme-minimal -include: ["_odoc-theme", "_odoc_support"] diff --git a/tiny_httpd/Tiny_httpd_ws/index.html b/tiny_httpd/Tiny_httpd_ws/index.html index a38e7e84..83cfcb7f 100644 --- a/tiny_httpd/Tiny_httpd_ws/index.html +++ b/tiny_httpd/Tiny_httpd_ws/index.html @@ -1,5 +1,5 @@ -
Tiny_httpd_wsmodule IO = Tiny_httpd_iotype handler = Unix.sockaddr -> IO.Input.t -> IO.Output.t -> unitWebsocket handler
val upgrade : IO.Input.t -> IO.Output.t -> IO.Input.t * IO.Output.tUpgrade a byte stream to the websocket framing protocol.
val add_route_handler :
+Tiny_httpd_ws (tiny_httpd.Tiny_httpd_ws) Module Tiny_httpd_ws
Websockets for Tiny_httpd.
This sub-library (tiny_httpd.ws) exports a small implementation for a websocket server. It has no additional dependencies.
module IO = Tiny_httpd_iotype handler = Unix.sockaddr -> IO.Input.t -> IO.Output.t -> unitWebsocket handler
val upgrade : IO.Input.t -> IO.Output.t -> IO.Input.t * IO.Output.tUpgrade a byte stream to the websocket framing protocol.
val add_route_handler :
?accept:(unit Tiny_httpd_server.Request.t -> (unit, int * string) result) ->
?accept_ws_protocol:(string -> bool) ->
Tiny_httpd_server.t ->
diff --git a/tiny_httpd/index.html b/tiny_httpd/index.html
index d36658c4..87c72727 100644
--- a/tiny_httpd/index.html
+++ b/tiny_httpd/index.html
@@ -1,2 +1,2 @@
-index (tiny_httpd.index) Package tiny_httpd
Tiny_httpd Tiny Http ServerTiny_httpd_atomic_ Tiny_httpd_buf Simple buffer.Tiny_httpd_dir Serving static content from directoriesTiny_httpd_html HTML combinators.Tiny_httpd_html_ Tiny_httpd_io IO abstraction.Tiny_httpd_log Logging for tiny_httpdTiny_httpd_pool Resource pool.Tiny_httpd_prometheus Expose metrics over HTTP in the prometheus formatTiny_httpd_server HTTP server.Tiny_httpd_stream Byte streams.Tiny_httpd_util Tiny_httpd_ws
+index (tiny_httpd.index) Package tiny_httpd
Tiny_httpd Tiny Http ServerTiny_httpd_atomic_ Tiny_httpd_buf Simple buffer.Tiny_httpd_dir Serving static content from directoriesTiny_httpd_html HTML combinators.Tiny_httpd_html_ Tiny_httpd_io IO abstraction.Tiny_httpd_log Logging for tiny_httpdTiny_httpd_pool Resource pool.Tiny_httpd_prometheus Expose metrics over HTTP in the prometheus formatTiny_httpd_server HTTP server.Tiny_httpd_stream Byte streams.Tiny_httpd_util Tiny_httpd_ws Websockets for Tiny_httpd.