From a18e8fcdf05b94d2f441446100a3efda3ee76e4e Mon Sep 17 00:00:00 2001
From: Yuxuan Shui <yshuiv7@gmail.com>
Date: Thu, 6 Jun 2019 07:33:07 +0100
Subject: [PATCH] Destroy glx context created for vsync

Signed-off-by: Yuxuan Shui <yshuiv7@gmail.com>
---
 src/compton.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/compton.c b/src/compton.c
index d6cd080..3d2cbeb 100644
--- a/src/compton.c
+++ b/src/compton.c
@@ -2049,6 +2049,11 @@ static void session_destroy(session_t *ps) {
 		deinit_render(ps);
 	}
 
+	if (glx_has_context(ps)) {
+		// GLX context created, but not for rendering
+		glx_destroy(ps);
+	}
+
 	// Flush all events
 	x_sync(ps->c);
 	ev_io_stop(ps->loop, &ps->xiow);