summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2015-09-11 10:39:46 +0200
committerHolger Levsen <holger@layer-acht.org>2015-09-11 10:39:46 +0200
commitce073fe35ff43055812fdbeeb6304422190ccbb1 (patch)
treefa4002bcf92396248528814fc1bfd28203cf905e
parent3a36114f1f70fe80cec43b568eabd15e166f1c25 (diff)
downloadjenkins.debian.net-ce073fe35ff43055812fdbeeb6304422190ccbb1.tar.xz
reproducible: Refresh schedule page every 60 seconds
-rwxr-xr-xbin/reproducible_html_live_status.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_html_live_status.py b/bin/reproducible_html_live_status.py
index d73b047d..ef1abe25 100755
--- a/bin/reproducible_html_live_status.py
+++ b/bin/reproducible_html_live_status.py
@@ -36,7 +36,7 @@ def generate_schedule(arch):
html += '</table></p>\n'
destfile = BASE + '/index_' + arch + '_scheduled.html'
desturl = REPRODUCIBLE_URL + '/index_' + arch + '_scheduled.html'
- write_html_page(title=title, body=html, destfile=destfile, arch=arch)
+ write_html_page(title=title, body=html, destfile=destfile, arch=arch, refresh_every=60)
log.info("Page generated at " + desturl)