Please read the <<a_manual chapter="clientserver-communication" | chapter on
communication >> of Eliom's manual before this page to learn how client and server parts communicate.
Basic primitives needed for server push.
Sourceval section : Lwt_log_core.section