Functor Os_notif.Make_Simple

module Make_Simple : functor (A : ARG_SIMPLE) -> 
  
  S
    with type key = A.key
     and type server_notif = A.notification
     and type client_notif = A.notification

Use this functor in case messages are to be delivered only to clients connected to the current server, as is always the case in a single-server set-up.

Parameters :

Os_notif.ARG_SIMPLE

include Eliom_notif.S

val unlisten_user : 
  ?sitedata:Eliom_common.sitedata ->
  userid:Os_types.User.id -> key -> unit

Make a user stop listening on data key. This function will work as expected without a value supplied for sitedata if called during a request or initialisation. Otherwise a value needs to be supplied.

val notify : 
  ?notfor:[ `Me | `User of Os_types.User.id ] ->
  key -> server_notif -> unit