From: Sergey M․ <dstftw@gmail.com>
Date: Sat, 18 Oct 2014 11:14:49 +0000 (+0700)
Subject: [arte.tv:+7] Append media type to format_id (Closes #3967)
X-Git-Url: http://git.oshgnacknak.de/?a=commitdiff_plain;h=f9befee1f5e96e8b9b7032f33e70290ffd7769f5;p=youtube-dl

[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 c3d02f85e..3a34d1ecc 100644
--- 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'),