4 commits

Author	SHA1	Message	Date
Hannes Mehnert	8ab37d6b3b	resources: remove_vm and remove_policy - no need to intertwine into a single remove	2018-10-28 19:50:48 +01:00
Hannes Mehnert	7b8f2cf802	add policy does nothing when received policy is equal to stored one	2018-10-28 19:41:06 +01:00
Hannes Mehnert	a60f866f70	fewer lists, read replies (to sockets) in vmmd	2018-10-26 21:30:54 +02:00
Hannes Mehnert	a064c7f58e	move more stuff around	2018-10-26 21:29:59 +02:00

Renamed from src/vmm_engine.ml (Browse further)