package eliom
Install
Dune Dependency
Authors
Maintainers
Sources
md5=c8c67fe5fb8d3f44a3b17cc4a93a0e62
sha512=e58557a1b525efd011e0eb539b112b53e6c012ac3fb2153c251be030eda483dd3b19de625707cf5ffebd97fa6a7fabfb8a6aae8e8a61c79e0bd7ad2d289df9a9
doc/eliom.server/Eliom_comet/Channel/index.html
Module Eliom_comet.Channel
Source
Basic primitives needed for server push.
v t
is the type of server-to-client communication channels transporting data of type v
create s
returns a channel sending the values returned by stream s
.
There are two kinds of channels created depending on the given scope (defaults to Eliom_common.comet_client_process
).
With scope Eliom_common.site_scope
all users knowing the name of the channel can access it. Only one message queue is created: it is what we call a //stateless// channel in the sense that the memory used by the channel does not depend on the number of users. The channel can be reclaimed by the GC when there is no more reference to it. The buffer channel has a limited buffer of size size
(default: 1000). If the client requests too old messages, exception Eliom_coment.Channel_full
will be raised (on client side).
With a scope of level Eliom_common.client_process_scope
the channel can only be accessed by the user who created it. It can only be created when client process data is available (that is: during a request). The eliom service created to communicate with the client is only available in the scope of the client process. To avoid memory leak when the client do not read sent data, the channel has a limited size
. When a channel is full, no data can be read from it anymore.
A channel can be used only once on client side. To be able to receive the same data multiple times on client side, use create (Lwt_stream.clone s)
every time.
To enforce the limit on the buffer size, the data is read into stream
as soon as possible: If you want a channel that reads data on the stream only when the client requests it, use create_unlimited
instead, but be careful of memory leaks.
val create_from_events :
?scope:[< comet_scope ] ->
?name:string ->
?size:int ->
'a React.event ->
'a t
create_from_events e
returns a channel sending the values returned by the event stream e
.
val create_unlimited :
?scope:Eliom_common.client_process_scope ->
?name:string ->
'a Lwt_stream.t ->
'a t
create_unlimited s
creates a channel which does not read immediately on the stream. It is read only when the client requests it: use it if the data you send depends on the time of the request (for instance the number of unread mails). Be careful, the size of this stream is not limited: if the size of the stream increases and your clients don't read it, you may have memory leaks.
create_newest s
is similar to create ~scope:Eliom_common.site_scope s
but only the last message is returned to the client.
val external_channel :
?history:int ->
?newest:bool ->
prefix:string ->
name:string ->
unit ->
'a t
external_channel ~prefix ~name ()
declares an external channel. The channel was created by an instance of Eliom serving the prefix prefix
(the prefix configured in the <site> tag of the configuration file). The channel was named by name
. Both servers must run the exact same version of Eliom.
The optional newest
parameters tells whether the channel is a new one. If the channel is not new, history
is the maximum number of messages retrieved at the first request. The default is 1
.
wait_timeout ~scope time
waits for a period of inactivity of length time
in the scope
. Only activity on stateful channels is taken into accounts.
The default scope
is Eliom_common.comet_client_process
.