> > I think you the bug you mean is the missing ChgStateHard in > receive_state(). But before patching it in there, I wait for your > reply. > I agree - this seems like the right fix to me. Simon