Commit e34a3079 authored by Lorenz Hüdepohl's avatar Lorenz Hüdepohl
Browse files

Fix update checking, was not done only once per day

parent 9aeea986
Pipeline #69149 passed with stage
in 15 seconds
......@@ -90,9 +90,10 @@ def check_for_update():
with open(rev_file, "r") as fd:
server_rev = fd.read().strip()
if call(["git", "--git-dir", git_dir, "merge-base", "--is-ancestor", server_rev, "HEAD"], stderr=DEVNULL) == 0:
# Server rev is older than ours. Check again
update_server_rev()
if server_rev != local_rev:
if call(["git", "--git-dir", git_dir, "merge-base", "--is-ancestor", server_rev, "HEAD"], stderr=DEVNULL) == 0:
# Server rev is older than ours. Check again
update_server_rev()
with open(rev_file, "r") as fd:
server_rev = fd.read().strip()
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment