From 53512cb2f1671b62a48bdc2e06bb64a3bf25af9c Mon Sep 17 00:00:00 2001
From: janmax <mail-github@jmx.io>
Date: Wed, 12 Apr 2017 17:41:28 +0000
Subject: [PATCH] Minor tweak to convert script
---
convert.py | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/convert.py b/convert.py
index 6829bf87..5a1e4d16 100755
--- a/convert.py
+++ b/convert.py
@@ -3,7 +3,7 @@
The json output will look like this:
{
- "AF12345678": { <<--- all uppercase letter of the name + username/matrikel_no
+ "max.mustermann": { <<--- OR all uppercase letter of the name + username/matrikel_no
"matrikel_no": "12345678",
"name": "Mustermann, Max",
"task_list": {
@@ -105,7 +105,6 @@ if args.NUMBER_OF_TASKS:
for (user, *task_list) in sorted(root, key=lambda u: u[0].name):
assert len(task_list) == args.NUMBER_OF_TASKS * 2
-usernames = {}
if args.usernames:
with open(args.usernames) as data:
mat_to_email = json.JSONDecoder().decode(data.read())
--
GitLab