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)
commit5c544307eedb70b2d5e2e5f2fd05480d4ea26478
tree4d016cf4fbb2ece65107693a8d7c18c7d1136819
parent1019bd83746ace3233f7409c0dbd307e4ab5fb66
do not delete timer.. (sefault in some situations)
lib/python/Screens/ChannelSelection.py