mirror of
https://github.com/openjdk/jdk.git
synced 2025-08-25 22:04:51 +02:00
Merge
This commit is contained in:
commit
1344f54bde
15 changed files with 111 additions and 128 deletions
|
@ -551,6 +551,7 @@ void notify_vm_shutdown() {
|
|||
|
||||
void vm_direct_exit(int code) {
|
||||
notify_vm_shutdown();
|
||||
os::wait_for_keypress_at_exit();
|
||||
::exit(code);
|
||||
}
|
||||
|
||||
|
@ -577,11 +578,13 @@ void vm_perform_shutdown_actions() {
|
|||
void vm_shutdown()
|
||||
{
|
||||
vm_perform_shutdown_actions();
|
||||
os::wait_for_keypress_at_exit();
|
||||
os::shutdown();
|
||||
}
|
||||
|
||||
void vm_abort(bool dump_core) {
|
||||
vm_perform_shutdown_actions();
|
||||
os::wait_for_keypress_at_exit();
|
||||
os::abort(dump_core);
|
||||
ShouldNotReachHere();
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue