Don't unload the OpenGL library before the X display is closed.
--- a/src/video/x11/SDL_x11opengl.c Fri Jul 28 08:46:24 2006 +0000
+++ b/src/video/x11/SDL_x11opengl.c Sat Jul 29 03:56:35 2006 +0000
@@ -288,7 +288,11 @@
return;
}
- X11_GL_UnloadLibrary(_this);
+ /* Don't actually unload the library, since it may have registered
+ * X11 shutdown hooks, per the notes at:
+ * http://dri.sourceforge.net/doc/DRIuserguide.html
+ * //X11_GL_UnloadLibrary(_this);
+ */
SDL_free(_this->gl_data);
_this->gl_data = NULL;