diff options
| author | Marco Pesenti Gritti <mpg@redhat.com> | 2007-11-22 13:11:49 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <mpg@redhat.com> | 2007-11-22 13:11:49 (GMT) |
| commit | 1cf88eaf8f2382028144dcbf0a41f1c9a8a7f8b4 (patch) | |
| tree | 7bed9d87de089b369ad1098d8dc3f87047ef6cc2 /src | |
| parent | 5812e1ecdeace24bb7e9b05deec421595f52a5cf (diff) | |
Hack to get extensions for audio/ogg and video/ogg.
Diffstat (limited to 'src')
| -rw-r--r-- | src/sugar/mime.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/sugar/mime.py b/src/sugar/mime.py index a5eb7ff..2497389 100644 --- a/src/sugar/mime.py +++ b/src/sugar/mime.py @@ -134,6 +134,10 @@ def get_primary_extension(mime_type): # Clear the old extensions list _extensions = {} + # FIXME Properly support these types in the system. (#4855) + _extensions['audio/ogg'] = 'ogg' + _extensions['video/ogg'] = 'ogg' + for globs_path in globs_path_list: globs_file = open(globs_path) for line in globs_file.readlines(): |