Unwind-protect and dynamic-wind are not the same thing. See
http://www.nhplace.com/kent/PFAQ/unwind-protect-vs-continuations-original.html - Tommi -- Kotisivu / Homepage: http://www.iki.fi/tohoyn/ Sähköposti / E-Mail: tommi.hoynalan...@iki.fi GPG-sormenjälki / GPG fingerprint: 55F4 2477 7155 3528 5CB2 2B7A BB86 1FDE 4046 0F83 FT, Debian-ylläpitäjä / PhD, Debian Maintainer
