+
+ const Exception *exc=dynamic_cast<const Exception *>(&e);
+ if(exc && !exc->get_backtrace().get_frames().empty())
+ {
+ cerr<<" backtrace:\n";
+ const Debug::Backtrace::FrameSeq &frames=exc->get_backtrace().get_frames();
+ for(Debug::Backtrace::FrameSeq::const_iterator i=frames.begin(); i!=frames.end(); ++i)
+ {
+ cerr<<" "<<i->address;
+ if(!i->symbol.empty())
+ cerr<<" in "<<i->symbol;
+ cerr<<" from "<<i->file<<'\n';
+ }
+ }
+#endif
+