From: Bernie Innocenti <bernie@codewiz.org>
Date: Wed, 23 Aug 2017 15:05:31 +0000 (-0400)
Subject: Add some common video extensions.
X-Git-Url: https://codewiz.org/gitweb?a=commitdiff_plain;h=694a348a75ccad8ca8aa7723549353ee617a01e0;p=geekigeeki.git

Add some common video extensions.
---

diff --git a/geekigeeki.py b/geekigeeki.py
index 7f54b4c..6262c4a 100755
--- a/geekigeeki.py
+++ b/geekigeeki.py
@@ -21,7 +21,7 @@ title_done = False
 import cgi, sys, os, re, errno, stat, glob
 
 image_ext = 'png|gif|jpg|jpeg|bmp|ico'
-video_ext = "ogg|ogv|oga|webm" # Not supported by Firefox 3.6: mkv|mpg|mpeg|mp4|avi|asf|flv|wmv|qt
+video_ext = 'avi|webm|mkv|ogv'
 image_re = re.compile(r".*\.(" + image_ext + "|" +  video_ext + ")$", re.IGNORECASE)
 video_re = re.compile(r".*\.(" + video_ext + ")$", re.IGNORECASE)
 # FIXME: we accept stuff like foo/../bar and we shouldn't