verbose terminate() on by default

[Phil Edwards]

On Tue, Dec 24, 2002 at 01:55:10AM +0100, Gabriel Dos Reis wrote:
> Phil Edwards <phil@jaj.com> writes:
> 
> | > and making its definition
> | > static?
> | 
> | Uh.  Why?  We want it to be available to users.
> 
> __verbose_terminate_handler() is not used nowhere outisde of
> eh_terminate.cc. 

User code can still use it.  That's been the advertised way up through now
(indeed, the only way) and

    std::set_terminate(__gnu_cxx::__verbose_terminate_handler);

should still be possible.

-- 
I would therefore like to posit that computing's central challenge, viz. "How
not to make a mess of it," has /not/ been met.
                                                 - Edsger Dijkstra, 1930-2002