Fix persistent memory leak in GameSession::get_demo_random_seed()

diff --git a/src/supertux/game_session.cpp b/src/supertux/game_session.cpp
index 7a7ddb3..008f3f4 100644 (file)
--- a/src/supertux/game_session.cpp
+++ b/src/supertux/game_session.cpp
@@ -184,6 +184,8 @@ GameSession::get_demo_random_seed(const std::string& filename)
     else
       log_info << "Demo file contains no random number" << std::endl;
   }
+  delete test_stream;
+  test_stream = nullptr;
   return 0;
 }