From 2432a9fed3f45688befb2311100ff2a4c2f2ae01 Mon Sep 17 00:00:00 2001
From: codeanticode <andres.colubri@gmail.com>
Date: Wed, 20 Feb 2013 12:40:06 -0500
Subject: [PATCH] Added manual GLProfile shutdown to make sure that no JOGL
 threads are left running.

---
 core/src/processing/opengl/PGL.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/core/src/processing/opengl/PGL.java b/core/src/processing/opengl/PGL.java
index 100d7e065..0aa572678 100644
--- a/core/src/processing/opengl/PGL.java
+++ b/core/src/processing/opengl/PGL.java
@@ -679,6 +679,7 @@ public class PGL {
     fboLayerCreated = false;
     fboLayerInUse = false;
     firstFrame = false;
+    GLProfile.shutdown();
   }