Add teamid to prints from DOMjudge

WISVCH · Nov 24, 2024 · ee0fc81 · ee0fc81
1 parent 921e303
commit ee0fc81
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docker/domserver/scripts/patches.d/10-default-config.py b/docker/domserver/scripts/patches.d/10-default-config.py
@@ -18,7 +18,7 @@
     if category["category"] == "External systems":
         for item in category["items"]:
             if item["name"] == "print_command":
-                 item["default_value"] = "/usr/bin/enscript --columns=2 --pages=-10 --landscape --pretty-print  \"--header='[original]'; page $% of $=; time=$C; room='[location]'; team='[teamname]'\" [file]"
+                 item["default_value"] = "/usr/bin/enscript --columns=2 --pages=-10 --landscape --pretty-print  \"--header='[original]'; page $% of $=; time=$C; room='[location]'; team='[teamname]'; teamid='[teamid]'\" [file]"
             if item["name"] == "data_source":
                  item["default_value"] = 1