equal
deleted
inserted
replaced
524 } |
524 } |
525 debug_check_abort(exception()->klass()->external_name(), message); |
525 debug_check_abort(exception()->klass()->external_name(), message); |
526 } |
526 } |
527 |
527 |
528 // for logging exceptions |
528 // for logging exceptions |
529 void Exceptions::log_exception(Handle exception, stringStream tempst) { |
529 void Exceptions::log_exception(Handle exception, const char* message) { |
530 ResourceMark rm; |
530 ResourceMark rm; |
531 Symbol* message = java_lang_Throwable::detail_message(exception()); |
531 Symbol* detail_message = java_lang_Throwable::detail_message(exception()); |
532 if (message != NULL) { |
532 if (detail_message != NULL) { |
533 log_info(exceptions)("Exception <%s: %s>\n thrown in %s", |
533 log_info(exceptions)("Exception <%s: %s>\n thrown in %s", |
534 exception->print_value_string(), |
534 exception->print_value_string(), |
535 message->as_C_string(), |
535 detail_message->as_C_string(), |
536 tempst.as_string()); |
536 message); |
537 } else { |
537 } else { |
538 log_info(exceptions)("Exception <%s>\n thrown in %s", |
538 log_info(exceptions)("Exception <%s>\n thrown in %s", |
539 exception->print_value_string(), |
539 exception->print_value_string(), |
540 tempst.as_string()); |
540 message); |
541 } |
541 } |
542 } |
542 } |