diff options
| author | Sven Gothel <[email protected]> | 2020-09-20 21:21:10 +0200 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2020-09-20 21:21:10 +0200 |
| commit | 31253c2e7b9026f6647e3c85ae4ef1a80c96b243 (patch) | |
| tree | 69f431c64247cf91f7013a126068ff652e9e87d6 /java/jni/JNIMem.cxx | |
| parent | 215429f50008ae83825c7d17d136724a1c73943c (diff) | |
Handle abort() via dbt_debug's new ABORT(..), ensure a message is being send and process aborted; Use it.
Diffstat (limited to 'java/jni/JNIMem.cxx')
| -rw-r--r-- | java/jni/JNIMem.cxx | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/java/jni/JNIMem.cxx b/java/jni/JNIMem.cxx index 5ca11baa..19a63bdb 100644 --- a/java/jni/JNIMem.cxx +++ b/java/jni/JNIMem.cxx @@ -148,8 +148,7 @@ JNIGlobalRef::~JNIGlobalRef() noexcept { try { JNIEnv * env = *jni_env; if( nullptr == env ) { - ERR_PRINT("JNIGlobalRef dtor null JNIEnv"); - abort(); + ABORT("JNIGlobalRef dtor null JNIEnv"); } DBG_PRINT("JNIGlobalRef::dtor %p", object); if( nullptr != object ) { |