diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2020-07-14 16:59:14 +0200 |
|---|---|---|
| committer | Lennart <lekaiser@uos.de> | 2020-07-14 17:14:10 +0200 |
| commit | 2389623346d6b81477b8775635a0627baa90e31f (patch) | |
| tree | ac53375c8f8c9da660f33cc313c62fc46d0323eb /lib/loader.py | |
| parent | 0a7917342cf27f18f553afdf4a65d6377f671aad (diff) | |
Add --no-cache option
Diffstat (limited to 'lib/loader.py')
| -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 4934316..438bbdb 100644 --- a/lib/loader.py +++ b/lib/loader.py @@ -249,7 +249,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. @@ -328,7 +328,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): |