Meta: Update css/js timestamps on each build
This commit is contained in:
parent
b29eff6123
commit
d64fbfdea8
2 changed files with 10 additions and 2 deletions
|
@ -154,6 +154,14 @@ 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
|
||||
|
||||
user_html_file = redsea_path + '/Slon/Static/html/user.html'
|
||||
user_html_timestamp = str(time.time())
|
||||
res = os.system('cat ' + user_html_file + ' | sed \'s/timestamp=/timestamp=' + user_html_timestamp + '/g\' | sponge ' + user_html_file)
|
||||
if res:
|
||||
raise ValueError(step_error_message + str(res))
|
||||
|
||||
time.sleep(0.25)
|
||||
|
||||
res = os.system('sync && fusermount -u ' + redsea_path)
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue