1
1

Merge pull request #1812 from nrgraham23/java_coverity_fix

Fix Java Coverity issue
Этот коммит содержится в:
Nathaniel Graham 2016-06-23 08:08:12 -07:00 коммит произвёл GitHub
родитель 380cc8f040 bb9485bcd9
Коммит 0d85d688a5

Просмотреть файл

@ -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)