Slon/Static/html/about: Add about page

You can set the content for this page using the "about_page_content" key
in database settings.
This commit is contained in:
Alec Murphy 2025-03-21 08:28:51 -04:00
parent d64fbfdea8
commit 5c8839db20
3 changed files with 38 additions and 3 deletions

View file

@ -154,7 +154,7 @@ def generate_iso_c_file():
tlse_hc_fixup('TLS_WRITE', 'tls_write', tlse_bin_path, tlse_hc_path)
tlse_hc_fixup('TLS_ESTABLISHED', 'tls_established', tlse_bin_path, tlse_hc_path)
# Update css/js timestamps for user.html
# Update css/js timestamps for user.html, about.html
user_html_file = redsea_path + '/Slon/Static/html/user.html'
user_html_timestamp = str(time.time())
@ -162,6 +162,12 @@ def generate_iso_c_file():
if res:
raise ValueError(step_error_message + str(res))
about_html_file = redsea_path + '/Slon/Static/html/about.html'
about_html_timestamp = str(time.time())
res = os.system('cat ' + about_html_file + ' | sed \'s/timestamp=/timestamp=' + about_html_timestamp + '/g\' | sponge ' + about_html_file)
if res:
raise ValueError(step_error_message + str(res))
time.sleep(0.25)
res = os.system('sync && fusermount -u ' + redsea_path)