Looking through existing bug reports for something similar to my freshly reported problem #382798 (bash builtin echo fails to cope with signals arriving at the wrong moment), #341282 seems like a related problem. It may even have the same root cause.
Ian. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]