summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorjosef <josef.gson@gmail.com>2015-11-11 09:44:11 +0100
committerjosef <josef.gson@gmail.com>2015-11-11 09:44:11 +0100
commit83aeddb35bacffe6b32b808cac72ae99d54b0889 (patch)
tree179c19f5d411f8ade64cc0f36e1cc51dc7bdcfe9
parente9a1c2d0838ab42d4eabf9d45318e9570670c13f (diff)
setting up for measurement
-rwxr-xr-xmonitor/josef_experimental.py4
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