merge-requests/30/head
Bob Mottram 2022-08-23 20:41:30 +01:00
parent d922da9b98
commit b1db5b47b3
1 changed files with 15 additions and 12 deletions

View File

@ -405,7 +405,10 @@ def html_search(translate: {}, base_dir: str, path: str, domain: str,
get_search_banner_file(base_dir, search_nickname, domain, theme)
# if there is no search banner then use the default
if not search_banner_filename:
print('***search_banner1: ' + str(search_banner))
print('***search_banner2: ' + str(search_banner_filename))
if search_banner_filename:
if not os.path.isfile(search_banner_filename):
if os.path.isfile(base_dir +
'/theme/default/search_banner.png'):
banner_filename = \