441 before_exit(thread); |
441 before_exit(thread); |
442 vm_exit(code); |
442 vm_exit(code); |
443 JVM_END |
443 JVM_END |
444 |
444 |
445 |
445 |
|
446 JVM_ENTRY_NO_ENV(void, JVM_BeforeHalt()) |
|
447 JVMWrapper("JVM_BeforeHalt"); |
|
448 EventShutdown event; |
|
449 if (event.should_commit()) { |
|
450 event.set_reason("Shutdown requested from Java"); |
|
451 event.commit(); |
|
452 } |
|
453 JVM_END |
|
454 |
|
455 |
446 JVM_ENTRY_NO_ENV(void, JVM_Halt(jint code)) |
456 JVM_ENTRY_NO_ENV(void, JVM_Halt(jint code)) |
447 before_exit(thread); |
457 before_exit(thread); |
448 vm_exit(code); |
458 vm_exit(code); |
449 JVM_END |
459 JVM_END |
450 |
460 |