[arte.tv:+7] Append media type to format_id (Closes #3967)

diff --git a/youtube_dl/extractor/arte.py b/youtube_dl/extractor/arte.py
index c3d02f85e8f023deac51287b72cd45623db72f07..3a34d1ecc67e590c568d10131b557b1d3022fe4d 100644 (file)
--- a/youtube_dl/extractor/arte.py
+++ b/youtube_dl/extractor/arte.py
@@ -160,6 +160,9 @@ class ArteTVPlus7IE(InfoExtractor):
                 format_id = '%s-%s' % (quality, format_info['versionCode'])
             else:
                 format_id = quality
+            media_type = format_info.get('mediaType')
+            if media_type is not None:
+                format_id += '-%s' % media_type
             info = {
                 'format_id': format_id,
                 'format_note': format_info.get('versionLibelle'),