From 29ed59de0b7a5085309e51b01e35ad382f872def Mon Sep 17 00:00:00 2001
From: Mark Vejvoda <mark_vejvoda@hotmail.com>
Date: Mon, 21 May 2012 20:11:27 +0000
Subject: [PATCH] - release media list player if used

---
 source/shared_lib/sources/graphics/video_player.cpp | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/source/shared_lib/sources/graphics/video_player.cpp b/source/shared_lib/sources/graphics/video_player.cpp
index bdcec6340..9323006be 100644
--- a/source/shared_lib/sources/graphics/video_player.cpp
+++ b/source/shared_lib/sources/graphics/video_player.cpp
@@ -927,7 +927,12 @@ void VideoPlayer::closePlayer() {
 #else
 		libvlc_media_player_stop(ctxPtr->mp);
 #endif
+		if(ctxPtr->mlp != NULL) {
+			libvlc_media_list_player_release(ctxPtr->mlp);
+			ctxPtr->mlp = NULL;
+		}
 		libvlc_media_player_release(ctxPtr->mp);
+		ctxPtr->mp = NULL;
 		libvlc_release(ctxPtr->libvlc);
 	}
 #endif