X-Git-Url: https://git.octo.it/?a=blobdiff_plain;f=src%2Fvideo%2Ftexture_manager.cpp;h=6dba671a4cd0a0d5bcae03d633dc043acd4a4edf;hb=821ebaf57c3c02c2d74a1b87055bb55d88d9ae70;hp=e7c392f6f581e50dddf0f30dcd638afb66b27532;hpb=79e34a1f2a55c2b7cdb74b2f12053dfe141ceba9;p=supertux.git

diff --git a/src/video/texture_manager.cpp b/src/video/texture_manager.cpp
index e7c392f6f..6dba671a4 100644
--- a/src/video/texture_manager.cpp
+++ b/src/video/texture_manager.cpp
@@ -259,7 +259,11 @@ TextureManager::save_textures()
   for(ImageTextures::iterator i = m_image_textures.begin();
       i != m_image_textures.end(); ++i)
   {
-    save_texture(dynamic_cast<GLTexture*>(i->second.lock().get()));
+    GLTexture* texture = dynamic_cast<GLTexture*>(i->second.lock().get());
+    if(texture == NULL)
+      continue;
+
+    save_texture(texture);
   }
 }