9e8dec1
[backend] do logging from multiply processes through redis pubsub; some fixes to VM-management