opened
Janzert
username_0
Add setting to stop game tasks being handed out.
Add setting to change to uniform seeding for the finals.
Changes to manager task api for finals.
issue
created
truell20
username_1
Kinda unneeded. We can kill the workers (after checking that no compiles are going on), then make the change.
comment