From 7dd0a4f154a242c1968fc359d010fcac5d8c49c6 Mon Sep 17 00:00:00 2001
From: Oliver Behnke <oliver.behnke@aei.mpg.de>
Date: Wed, 4 Mar 2020 10:59:53 +0100
Subject: [PATCH] Fix quit on debug

---
 src/framework/WindowManager.cpp | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/framework/WindowManager.cpp b/src/framework/WindowManager.cpp
index 5692412..fb2ffe6 100644
--- a/src/framework/WindowManager.cpp
+++ b/src/framework/WindowManager.cpp
@@ -235,7 +235,10 @@ void WindowManager::eventLoop()
 #ifdef DEBUG_VALGRIND
 			}
 			else {
-				if (m_Window) SDL_DestroyWindow(m_Window);
+				if (m_Window) {
+					SDL_GL_DeleteContext(m_GLContext);
+					SDL_DestroyWindow(m_Window);
+				}
 				break;
 			}
 #endif
-- 
GitLab