Re: __destruct() not called

php.internals