From 694a348a75ccad8ca8aa7723549353ee617a01e0 Mon Sep 17 00:00:00 2001 From: Bernie Innocenti Date: Wed, 23 Aug 2017 11:05:31 -0400 Subject: [PATCH 1/1] Add some common video extensions. --- geekigeeki.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.25.1