From 368531e49f52a2549333288547316430af3f2896 Mon Sep 17 00:00:00 2001
From: Tobias Markus <tobbi@mozilla-uk.org>
Date: Wed, 13 Aug 2014 17:08:44 +0200
Subject: [PATCH] Fix persistent memory leak in
 GameSession::get_demo_random_seed()

---
 src/supertux/game_session.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/supertux/game_session.cpp b/src/supertux/game_session.cpp
index 7a7ddb37f..008f3f44f 100644
--- 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;
 }
 
-- 
2.11.0