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