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
|