diff options
| author | Ting-Chun Wang <tcwang0509@berkeley.edu> | 2017-12-19 11:43:09 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-12-19 11:43:09 -0800 |
| commit | dd05da797863a13f6e45ec0a2d2ff3c7f8142f38 (patch) | |
| tree | 50221563418c411888f8ec0df6f91483e2d65609 /util/html.py | |
| parent | e9e6ef6b022954953603ee8d872bce677be7a6c3 (diff) | |
| parent | 9cf2a95d76845e151d24b86a953a5fdc76a9aa7d (diff) | |
Merge pull request #5 from javl/master
Fixes webpage autorefresh and lowers default refresh rate
Diffstat (limited to 'util/html.py')
| -rwxr-xr-x | util/html.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/util/html.py b/util/html.py index a80aa59..71c48ad 100755 --- a/util/html.py +++ b/util/html.py @@ -4,7 +4,7 @@ import os class HTML: - def __init__(self, web_dir, title, reflesh=0): + def __init__(self, web_dir, title, refresh=0): self.title = title self.web_dir = web_dir self.img_dir = os.path.join(self.web_dir, 'images') @@ -14,9 +14,9 @@ class HTML: os.makedirs(self.img_dir) self.doc = dominate.document(title=title) - if reflesh > 0: + if refresh > 0: with self.doc.head: - meta(http_equiv="reflesh", content=str(reflesh)) + meta(http_equiv="refresh", content=str(refresh)) def get_image_dir(self): return self.img_dir |