diff options
author | Daniel Friesel <daniel.friesel@uos.de> | 2020-07-14 16:59:14 +0200 |
---|---|---|
committer | Daniel Friesel <daniel.friesel@uos.de> | 2020-07-14 16:59:25 +0200 |
commit | 3b9cec6634b02f2808f9f0383b51e643602013e3 (patch) | |
tree | 841adf08d48abe4102fad9a61eabf09897171fdb /lib | |
parent | 701b344471fe5e0b90d95e1ac2c3c9525bb7dcfb (diff) |
Add --no-cache option
Diffstat (limited to 'lib')
-rw-r--r-- | lib/loader.py | 4 |
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): |