do not delete timer.. (sefault in some situations)
authorAndreas Monzner <andreas.monzner@multimedia-labs.de>
Wed, 7 Dec 2005 02:09:07 +0000 (02:09 +0000)
committerAndreas Monzner <andreas.monzner@multimedia-labs.de>
Wed, 7 Dec 2005 02:09:07 +0000 (02:09 +0000)
lib/python/Screens/ChannelSelection.py

index 6db9c52..f273daa 100644 (file)
@@ -360,7 +360,6 @@ class ChannelSelection(ChannelSelectionBase, ChannelSelectionEdit):
                self.lastChannelRootTimer.start(100,True)
 
        def onCreate(self):
                self.lastChannelRootTimer.start(100,True)
 
        def onCreate(self):
-               self.lastChannelRootTimer = None
                lastroot=eServiceReference(config.tv.lastroot.value)
                if lastroot.valid():
                        self.setRoot(lastroot)
                lastroot=eServiceReference(config.tv.lastroot.value)
                if lastroot.valid():
                        self.setRoot(lastroot)