projects
/
invirt/packages/invirt-base.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
65ed0d6
)
Fix formatting
author
Ben Steffen
<bds@mit.edu>
Tue, 26 Nov 2019 21:54:12 +0000
(16:54 -0500)
committer
Ben Steffen
<bds@mit.edu>
Tue, 26 Nov 2019 21:54:12 +0000
(16:54 -0500)
python/invirt/config.py
patch
|
blob
|
history
diff --git
a/python/invirt/config.py
b/python/invirt/config.py
index
b06e74b
..
fc1b4f1
100644
(file)
--- a/
python/invirt/config.py
+++ b/
python/invirt/config.py
@@
-86,9
+86,9
@@
def load(force_refresh=False):
try:
cache_mtime = os.path.getmtime(CACHE_PATH)
except OSError:
- do_refresh = True
+ do_refresh = True
else:
- do_refresh = src_mtime + 1 >= cache_mtime
+ do_refresh = src_mtime + 1 >= cache_mtime
# We chose not to simply say
#