Merge pull request open-mpi#1812 from nrgraham23/java_coverity_fix

Fix Java Coverity issue
artpol84 · Jun 23, 2016 · 0d85d68 · 0d85d68
2 parents 380cc8f + bb9485b
commit 0d85d68
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/ompi/mpi/java/c/mpi_MPI.c b/ompi/mpi/java/c/mpi_MPI.c
@@ -1157,9 +1157,8 @@ jboolean ompi_java_exceptionCheck(JNIEnv *env, int rc)
         (*env)->DeleteLocalRef(env, jmessage);
         return JNI_TRUE;
     }
-    else if (JNI_TRUE == jni_exception) {
-        return JNI_TRUE;
-    }
+    /* If we get here, a JNI error has occurred. */
+    return JNI_TRUE;
 }
 
 void* ompi_java_attrSet(JNIEnv *env, jbyteArray jval)