hotspot/src/share/vm/utilities/debug.cpp
changeset 773 01daf7c809b1
parent 360 21d113ecbf6a
child 781 e1baa9c8f16f
--- a/hotspot/src/share/vm/utilities/debug.cpp	Tue Jun 17 13:08:15 2008 -0700
+++ b/hotspot/src/share/vm/utilities/debug.cpp	Sun Jun 22 20:07:58 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, ...) {