Hannes Mehnert b9d5fa94f9 call waitpid() earlier, separate freebsd kludge (chmod g+rw), fixes #9		2018-03-22 17:00:08 +01:00
..
vmm_client.ml	safer and clearer error semantics for all processes, fixes #5	2018-03-22 17:00:08 +01:00
vmm_console.ml	safer and clearer error semantics for all processes, fixes #5	2018-03-22 17:00:08 +01:00
vmm_log.ml	safer and clearer error semantics for all processes, fixes #5	2018-03-22 17:00:08 +01:00
vmm_prometheus_stats.ml	safer and clearer error semantics for all processes, fixes #5	2018-03-22 17:00:08 +01:00
vmmd.ml	call waitpid() earlier, separate freebsd kludge (chmod g+rw), fixes #9	2018-03-22 17:00:08 +01:00