Internet radio browser GUI for music/video streams from various directory services.

⌈⌋ ⎇ branch:  streamtuner2


Diff

Differences From Artifact [482b9ba9b7]:

To Artifact [e3bc6f87a2]:


55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
    #   {{{
    #   http://ice.rosebud-media.de:8000/88vier-ogg1.ogg
    #   }}}
    #
    def update_streams(self, cat, search=None):

        # fetch page
        wiki = ahttp.get(self.base[cat])
        f = "audio/mpeg" if cat == "stations" else "video/mp4"
        
        # split on headlines
        r = []
        for src in re.split("^==+", wiki, 0, re.M):
            r += self.join(src, f)
        return r







|







55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
    #   {{{
    #   http://ice.rosebud-media.de:8000/88vier-ogg1.ogg
    #   }}}
    #
    def update_streams(self, cat, search=None):

        # fetch page
        wiki = ahttp.get(self.base[cat], verify=False)
        f = "audio/mpeg" if cat == "stations" else "video/mp4"
        
        # split on headlines
        r = []
        for src in re.split("^==+", wiki, 0, re.M):
            r += self.join(src, f)
        return r