Commit 5ab557ad authored by Committed by GitHub
Fixed dispose in KernelRunner.java
dispose() disposes of the jniContextHandle, however the seenBinaryKeys still reported that the handle is still available. This resulted in a kernel being unable to recompile after any of it's predecessors have been disposed. Clearing this set fixes this issue.
Showing with 1 addition and 0 deletions