diff options
Diffstat (limited to 'src/plugins')
| -rw-r--r-- | src/plugins/lua/mime_types.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/plugins/lua/mime_types.lua b/src/plugins/lua/mime_types.lua index 6cf306b2b..24b88da1d 100644 --- a/src/plugins/lua/mime_types.lua +++ b/src/plugins/lua/mime_types.lua @@ -462,7 +462,7 @@ local function check_mime_type(task) if enc_ext and settings['bad_extensions'][enc_ext] - and not string.match(ext2, '^%d+$') + and not tonumber(ext2) and enc_ext ~= ext2 then task:insert_result(settings['symbol_double_extension'], 2.0, string.format("%s!=%s", ext2, enc_ext)) |