[Vm-dev] patch: improved signal handling (for discussion)