1
0
mirror of https://codeberg.org/polarisfm/youtube-dl synced 2024-11-26 02:14:32 +01:00

[extractor/common] Extract format id from label attribute of source tag for HTML5 videos (#14034)

This commit is contained in:
Sergey M․ 2017-08-27 03:27:05 +07:00
parent dd121cc1ca
commit 1ed4549942
No known key found for this signature in database
GPG Key ID: 2C393E0F18A9236D

View File

@ -2186,7 +2186,10 @@ class InfoExtractor(object):
if is_plain_url: if is_plain_url:
# res attribute is not standard but seen several times # res attribute is not standard but seen several times
# in the wild # in the wild
f['height'] = int_or_none(source_attributes.get('res')) f.update({
'height': int_or_none(source_attributes.get('res')),
'format_id': source_attributes.get('label'),
})
f.update(formats[0]) f.update(formats[0])
media_info['formats'].append(f) media_info['formats'].append(f)
else: else: