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);
 }