JNI patches

Fri Jun 15 12:45:00 GMT 2001

>>>>> "Marcus" == Marcus G Daniels <mgd@swarm.org> writes:

Marcus> Attached are some patches I had to make in order to get my JNI
Marcus> app to work.
Marcus> 2. split local ref table from global ref table. The handles
Marcus> should be unique as I understand JNI. The way it is now means
Marcus> that someone can call DeleteGlobalRef on a local ref or
Marcus> vice-versa.
I rewrote this patch (I don't think we ever got paperwork from you)
and I'm going to check it in. I don't think it is strictly necessary
that we do this, but I think it will make it a little bit easier to
debug JNI programs. I've also made it so that unmark_for_gc will
crash if you unreference a local too many times -- but only when
libgcj debugging is enabled.
I'll send it to java-patches and check it in sometime today (perhaps a
bit later).
Tom