diff options
author | josef <josef.gson@gmail.com> | 2015-11-11 09:44:11 +0100 |
---|---|---|
committer | josef <josef.gson@gmail.com> | 2015-11-11 09:44:11 +0100 |
commit | 83aeddb35bacffe6b32b808cac72ae99d54b0889 (patch) | |
tree | 179c19f5d411f8ade64cc0f36e1cc51dc7bdcfe9 | |
parent | e9a1c2d0838ab42d4eabf9d45318e9570670c13f (diff) |
setting up for measurement
-rwxr-xr-x | monitor/josef_experimental.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/monitor/josef_experimental.py b/monitor/josef_experimental.py index e6c3c1a..e76cd4d 100755 --- a/monitor/josef_experimental.py +++ b/monitor/josef_experimental.py @@ -201,14 +201,14 @@ if __name__ == '__main__': # Data gathering for Niklas if True: - logs = [CTLOGS[2]] + logs = [CTLOGS[2],CTLOGS[3],CTLOGS[4],CTLOGS[7],CTLOGS[8],CTLOGS[9]] for log in logs: filename = log["name"] + "_content.txt" if os.path.exists(filename): if prompt_confirm("You are about to overwrite " + filename): os.remove(filename) else: - sys.exit() + continue sth = get_sth(log["url"]) start = 4050 |