| 33 | //------------------------------------------------------------------------ |
| 34 | |
| 35 | inline char* duplicate_string ( const char* src ) { |
| 36 | char* dst = NULL; |
| 37 | if ( src ) { |
| 38 | size_t len = strlen(src) + 1; |
| 39 | dst = (char*)allocate_via_handler_v3(len); |
| 40 | strncpy (dst, src, len); |
| 41 | } |
| 42 | return dst; |
| 43 | } |
| 44 | |
| 45 | captured_exception::~captured_exception () throw() { |
| 46 | clear(); |