src/video/x11/SDL_x11opengl.c
changeset 1954 c20e158a9299
parent 1953 214880ed48c3
child 1955 8c6106e45fc1
equal deleted inserted replaced
1953:214880ed48c3 1954:c20e158a9299
   286 {
   286 {
   287     if (!_this->gl_data || (--_this->gl_data->initialized > 0)) {
   287     if (!_this->gl_data || (--_this->gl_data->initialized > 0)) {
   288         return;
   288         return;
   289     }
   289     }
   290 
   290 
   291     X11_GL_UnloadLibrary(_this);
   291     /* Don't actually unload the library, since it may have registered
       
   292      * X11 shutdown hooks, per the notes at:
       
   293      * http://dri.sourceforge.net/doc/DRIuserguide.html
       
   294      * //X11_GL_UnloadLibrary(_this);
       
   295      */
   292 
   296 
   293     SDL_free(_this->gl_data);
   297     SDL_free(_this->gl_data);
   294     _this->gl_data = NULL;
   298     _this->gl_data = NULL;
   295 }
   299 }
   296 
   300