Closed eldering closed 2 days ago
Since rungid is already set as primary group, there's no reason to also set it as auxiliary group.
rungid
Tested by submitting https://github.com/DOMjudge/domjudge/blob/main/example_problems/hello/submissions/wrong_answer/test-permissions.sh and still seeing the domjudge-run group as primary group.
domjudge-run
Closes #2589
Since
rungidis already set as primary group, there's no reason to also set it as auxiliary group.Tested by submitting https://github.com/DOMjudge/domjudge/blob/main/example_problems/hello/submissions/wrong_answer/test-permissions.sh and still seeing the
domjudge-rungroup as primary group.Closes #2589