From a6f82af9a140c7ab6af2e5130d945bfdab187fa6 Mon Sep 17 00:00:00 2001 From: Tim Schubert Date: Fri, 21 Sep 2018 15:44:39 +0200 Subject: [PATCH] Continue if group does not match --- tools/groups.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tools/groups.py b/tools/groups.py index 066d2ff..39c0bbe 100755 --- a/tools/groups.py +++ b/tools/groups.py @@ -12,6 +12,8 @@ with open(argv[2], 'r', encoding="latin-1") as csv: tokens = line.split(';') student = tokens[5].replace('"', "").split(" ")[0] group = tokens[0].replace('"', "").split(" ")[0] + if group != argv[3]: + continue url = course_url + "/solutions/" + student + "/solutions" path = "solutions/" + group + "/" + student if isdir(path):