Simon Cruanes
|
a07936dac4
|
eio backend, second attempt (#95)
format / format (push) Waiting to run
build / build (4.13.x, ubuntu-latest) (push) Waiting to run
build / build (4.14.x, ubuntu-latest) (push) Waiting to run
build / build (5.03.x, ubuntu-latest) (push) Waiting to run
feat: `tiny_httpd_eio` library
provides a tiny_httpd server that relies on Eio for non-blocking
sockets and for concurrency using eio fibers.
|
2026-02-15 16:36:32 -05:00 |
|
Simon Cruanes
|
3802aad11f
|
remove eio stuff.
it doesn't really bring anything to the table for now. Let's wait until
it becomes actually useful.
|
2023-08-08 12:39:07 -04:00 |
|
Simon Cruanes
|
e1f0c58065
|
echo examples: add alice endpoint; use eio_posix
|
2023-06-23 17:58:11 -04:00 |
|
Simon Cruanes
|
f845f1265b
|
compat: use Eio_unix.Stdenv.base
|
2023-06-21 00:23:35 -04:00 |
|
Simon Cruanes
|
d2b89eee50
|
echo_eio: make quit into a button, to use POST
|
2023-06-21 00:23:34 -04:00 |
|
Simon Cruanes
|
55ef988aa4
|
details in example
|
2023-06-21 00:23:34 -04:00 |
|
Simon Cruanes
|
072a6041be
|
example eio: re-enable camlzip
|
2023-06-21 00:23:11 -04:00 |
|
Simon Cruanes
|
d6402faf94
|
example: detail
|
2023-06-21 00:23:10 -04:00 |
|
Simon Cruanes
|
bfe5e9c358
|
copy example echo for eio backend
|
2023-06-21 00:23:09 -04:00 |
|