From 58e8505660b33ab12dccee86e9118fd3a7946c54 Mon Sep 17 00:00:00 2001
From: David Hall <David.42.Hall@gmail.com>
Date: Sat, 7 Jan 2023 05:53:16 -0500
Subject: [PATCH] Terminate background thread when closing window without
 pressing Escape

This avoids a zombie thread with no UI from which to receive keyboard input when the window is closed before pressing <Esc>.
---
 src/com/persesgames/jogl/Renderer.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/com/persesgames/jogl/Renderer.java b/src/com/persesgames/jogl/Renderer.java
index 5f7117c..11c770c 100644
--- a/src/com/persesgames/jogl/Renderer.java
+++ b/src/com/persesgames/jogl/Renderer.java
@@ -68,7 +68,7 @@ public class Renderer implements GLEventListener  {
                 }
             }
 
-            stopped = keyboard.isPressed(KeyEvent.VK_ESCAPE);
+            stopped |= keyboard.isPressed(KeyEvent.VK_ESCAPE);
         }
 
         Renderer.this.glWindow.destroy();
@@ -112,6 +112,7 @@ public class Renderer implements GLEventListener  {
 
     @Override
     public void dispose(GLAutoDrawable drawable) {
+    	stop();
         explosionComputeHandler.dispose();
     }