As I've mentioned offline, I think that if an exception message is set by the user, it may be a bad idea to clobber it
Yep. Sorry for my brain lapse before - I know what you mean now. By "clobber" you mean that ideally we shouldn't be touching the message at all, even to append text to the end of it.
Ari --------------------------> Aristedes Maniatis phone +61 2 9660 9700 PGP fingerprint 08 57 20 4B 80 69 59 E2 A9 BF 2D 48 C2 20 0C C8
PGP.sig
Description: This is a digitally signed message part
