992e1b0a2b
- Vmm_console/log/stats do not read multiple times console_add loops console_subscribe terminates (a stream of messages is sent) log data stream loops log_subscribe terminates (a stream of data is sent) stat_add loops stat_remove loops stat_subscribe terminates (a stream of stats is sent) terminates means: reads once more, and closes socket after second read returned loop processes further incoming data |
||
---|---|---|
.. | ||
libvmm_stats_stubs.clib | ||
vmm_stats.ml | ||
vmm_stats_lwt.ml | ||
vmm_stats_stubs.c |