From f0d5499a1c2df4e8afd600d8ca284b2d8a94d11e Mon Sep 17 00:00:00 2001
From: Martin Pulec <pulec@cesnet.cz>
Date: Mon, 19 Aug 2013 17:24:53 +0200
Subject: [PATCH] OpenGL: small fix

---
 src/video_display/gl.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/video_display/gl.c b/src/video_display/gl.c
index ad1b0bc8f..4e078a56a 100644
--- a/src/video_display/gl.c
+++ b/src/video_display/gl.c
@@ -888,6 +888,7 @@ static void gl_draw(double ratio)
 
 static void glut_close_callback(void)
 {
+        should_exit_main_loop = true;
         exit_uv(0);
 }