hotspot/src/share/vm/runtime/java.hpp
changeset 773 01daf7c809b1
parent 602 92e03692ddd6
child 781 e1baa9c8f16f
--- a/hotspot/src/share/vm/runtime/java.hpp	Tue Jun 17 13:08:15 2008 -0700
+++ b/hotspot/src/share/vm/runtime/java.hpp	Sun Jun 22 20:07:58 2008 -0700
@@ -37,7 +37,7 @@
 // Shutdown the VM but do not exit the process
 extern void vm_shutdown();
 // Shutdown the VM and abort the process
-extern void vm_abort();
+extern void vm_abort(bool dump_core=true);
 
 // Trigger any necessary notification of the VM being shutdown
 extern void notify_vm_shutdown();