small fixes

This commit is contained in:
Vítor Santos Costa
2018-10-18 22:00:27 +01:00
parent b31493c777
commit b4bd6b4ba8
8 changed files with 16 additions and 24 deletions

View File

@@ -640,7 +640,7 @@ static JNIEnv*
jni_env(void) /* economically gets a JNIEnv pointer, valid for this thread */
{ JNIEnv *env;
switch( (*jvm)->GetEnv(jvm, (void**)&env, JNI_VERSION_1_8) )
switch( (*jvm)->GetEnv(jvm, (void**)&env, JNI_VERSION_1_4) )
{ case JNI_OK:
return env;
case JNI_EDETACHED:
@@ -5675,7 +5675,7 @@ static foreign_t
int i;
term_t head;
term_t list;
char *s;
char *s = NULL;
if ( jvm_dia == NULL ) /* presumably, JVM is already started, so default options cannot now be set */
{