Try default favicon extension

This commit is contained in:
bashrc committed 2021-01-07 12:07:02 +00:00
1 parent c62223815b
commit 7442eefbd0
1 file changed
+6
+6
View File
@@ -4856,6 +4856,12 @@ class PubServer(BaseHTTPRequestHandler):
faviconFilename = \
baseDir + '/theme/' + self.server.themeName + \
'/icons/' + favFilename
if not favFilename.endswith('.ico'):
if not os.path.isfile(faviconFilename):
if favFilename.endswith('.webp'):
favFilename = favFilename.replace('.webp', '.ico')
elif favFilename.endswith('.avif'):
favFilename = favFilename.replace('.avif', '.ico')
if not os.path.isfile(faviconFilename):
# default favicon
faviconFilename = \