small speedup

diff --git a/lib/python/Components/MediaPlayer.py b/lib/python/Components/MediaPlayer.py
index 44937fa3de825429e47ad5a3cd20c47f6461ec92..aff191997e687e97c7d8f9cdb26319d6fad4c0bd 100644 (file)
--- a/lib/python/Components/MediaPlayer.py
+++ b/lib/python/Components/MediaPlayer.py
@@ -110,10 +110,7 @@ class PlayList(MenuList, HTMLComponent, GUIComponent):
                return self.currPlaying
        
        def getServiceRefList(self):
-               list = []
-               for x in self.list:
-                       list.append(x[0])
-               return list
+               return [ x[0] for x in self.list ]
        
        def __len__(self):
                return len(self.list)