diff options
author | Michael Drake <michael.drake@codethink.co.uk> | 2014-08-08 14:36:04 +0000 |
---|---|---|
committer | Michael Drake <michael.drake@codethink.co.uk> | 2014-08-08 14:36:04 +0000 |
commit | e39619726e3fd1c8665eb8c7cf22bb1c7a12e315 (patch) | |
tree | f8a0a9cb571663caa5dc728c777b4a5c05b67e49 /mason | |
parent | 23f071657d9775a26b6f4075ee81bad134019062 (diff) | |
download | definitions-e39619726e3fd1c8665eb8c7cf22bb1c7a12e315.tar.gz |
Reduce refresh rate of report from 10s to 1min.
This reduces flicker/churn when browsing a mason report page.
Diffstat (limited to 'mason')
-rwxr-xr-x | mason/mason-report.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mason/mason-report.sh b/mason/mason-report.sh index 0ef58315..a928f098 100755 --- a/mason/mason-report.sh +++ b/mason/mason-report.sh @@ -16,7 +16,7 @@ cat > $REPORT_PATH <<'EOF' <html> <head> <meta charset="UTF-8"> -<meta http-equiv="refresh" content="10"> +<meta http-equiv="refresh" content="60"> <style> html, body { margin: 0; |