1.1 --- a/src/share/vm/utilities/debug.cpp Tue Jun 17 13:08:15 2008 -0700
1.2 +++ b/src/share/vm/utilities/debug.cpp Sun Jun 22 20:07:58 2008 -0700
1.3 @@ -208,7 +208,9 @@
1.4 Thread* thread = ThreadLocalStorage::get_thread_slow();
1.5 VMError(thread, size, message, file_name, line_no).report_and_die();
1.6 }
1.7 - vm_abort();
1.8 +
1.9 + // Dump core and abort
1.10 + vm_abort(true);
1.11 }
1.12
1.13 void report_vm_out_of_memory_vararg(const char* file_name, int line_no, size_t size, const char* format, ...) {
