From 9dad54a0e43b7f299a0fdfaf9e62e0eb7a469cb3 Mon Sep 17 00:00:00 2001 From: c-cube Date: Thu, 8 Feb 2024 20:37:45 +0000 Subject: [PATCH] deploy: d686ace2df2dff93eb760dfa2fcd5d116132105f --- _config.yml | 2 -- tiny_httpd/Tiny_httpd_ws/index.html | 2 +- tiny_httpd/index.html | 2 +- 3 files changed, 2 insertions(+), 4 deletions(-) delete mode 100644 _config.yml 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_ws (tiny_httpd.Tiny_httpd_ws)

Module Tiny_httpd_ws

module IO = Tiny_httpd_io
type handler = Unix.sockaddr -> IO.Input.t -> IO.Output.t -> unit

Websocket handler

Upgrade 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_io
type handler = Unix.sockaddr -> IO.Input.t -> IO.Output.t -> unit

Websocket handler

Upgrade 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

Package info

changes-files
readme-files
+index (tiny_httpd.index)

Package tiny_httpd

Package info

changes-files
readme-files