summaryrefslogtreecommitdiff
path: root/lib/loader.py
diff options
context:
space:
mode:
authorDaniel Friesel <daniel.friesel@uos.de>2020-07-14 16:59:14 +0200
committerDaniel Friesel <daniel.friesel@uos.de>2020-07-14 16:59:25 +0200
commit3b9cec6634b02f2808f9f0383b51e643602013e3 (patch)
tree841adf08d48abe4102fad9a61eabf09897171fdb /lib/loader.py
parent701b344471fe5e0b90d95e1ac2c3c9525bb7dcfb (diff)
Add --no-cache option
Diffstat (limited to 'lib/loader.py')
-rw-r--r--lib/loader.py4
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/loader.py b/lib/loader.py
index c35eb4c..4e07c92 100644
--- a/lib/loader.py
+++ b/lib/loader.py
@@ -242,7 +242,7 @@ class RawData:
file system, making subsequent loads near-instant.
"""
- def __init__(self, filenames, with_traces=False):
+ def __init__(self, filenames, with_traces=False, skip_cache=False):
"""
Create a new RawData object.
@@ -321,7 +321,7 @@ class RawData:
self.pta = self.ptalog["pta"]
self.set_cache_file()
- if not with_traces:
+ if not with_traces and not skip_cache:
self.load_cache()
def set_cache_file(self):