hotspot/src/share/vm/utilities/debug.cpp
changeset 781 e1baa9c8f16f
parent 670 ddf3e9583f2f
parent 773 01daf7c809b1
child 1388 3677f5f3d66b
--- a/hotspot/src/share/vm/utilities/debug.cpp	Thu Jul 03 11:01:32 2008 -0700
+++ b/hotspot/src/share/vm/utilities/debug.cpp	Fri Jul 11 01:14:44 2008 -0700
@@ -208,7 +208,9 @@
     Thread* thread = ThreadLocalStorage::get_thread_slow();
     VMError(thread, size, message, file_name, line_no).report_and_die();
   }
-  vm_abort();
+
+  // Dump core and abort
+  vm_abort(true);
 }
 
 void report_vm_out_of_memory_vararg(const char* file_name, int line_no, size_t size, const char* format, ...) {