From 746dab83a3ababa568a9185967e189032a638b97 Mon Sep 17 00:00:00 2001
From: Andreas Monzner <andreas.monzner@multimedia-labs.de>
Date: Fri, 18 Aug 2006 12:37:36 +0000
Subject: [PATCH] give more resources free on nav.shutdown and nav.stopService

---
 Navigation.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Navigation.py b/Navigation.py
index e65edbb2..fcf19763 100644
--- a/Navigation.py
+++ b/Navigation.py
@@ -67,10 +67,11 @@ class Navigation:
 	def stopService(self):
 		self.pnav.stopService()
 		self.currentlyPlayingService = None
+		self.currentlyPlayingServiceReference = None
 
 	def pause(self, p):
 		return self.pnav.pause(p)
-	
+
 	def recordWithTimer(self, ref, begin, end, name, description, eit):
 		if isinstance(ref, eServiceReference):
 			ref = ServiceReference.ServiceReference(ref)
@@ -80,6 +81,7 @@ class Navigation:
 	
 	def shutdown(self):
 		self.RecordTimer.shutdown()
+		del self.ServiceHandler
 		del self.pnav
 
 	def stopUserServices(self):
-- 
2.30.2