Commit 208675fa authored by Patrick Sharp's avatar Patrick Sharp

Fixed KernelRunner.java dispose()

parent c971f7ba
......@@ -190,6 +190,7 @@ public class KernelRunner extends KernelRunnerJNI{
public synchronized void dispose() {
if (kernel.isRunningCL()) {
disposeJNI(jniContextHandle);
seenBinaryKeys.clear();
}
// We are using a shared pool, so there's no need no shutdown it when kernel is disposed
// threadPool.shutdownNow();
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment