Hi,
This is the reply from the author, so I'm closing this bug.
<snip>
Might it at least be worth documenting this somewhat bizarre behaviour?
users might reasonably be running a shell script with set -e or
similar, and be suprised if they make an error and the script doesn't
exit.
In general, I'm not sure this sort of behaviour is actually helpful,
but I can see that upstream isn't going to buy that.
Thanks,
Matthew
--
Matthew Vernon MA VetMB LGSM MRCVS
Farm Animal Epidemiology and Informatics Unit
Department of Veterinary Medicine, University of Cambridge
http://www.cus.cam.ac.uk/~mcv21/
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
