Merge branch 'LQDJudge:master' into master

This commit is contained in:
Dung T.Bui 2023-05-20 11:31:52 +07:00 committed by GitHub
commit 3a99b0e09b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,6 +1,7 @@
from celery import shared_task
from django.core.cache import cache
from django.utils.translation import gettext as _
from time import sleep
from judge.models import Problem, Profile, Submission
from judge.utils.celery import Progress
@ -34,6 +35,7 @@ def rejudge_problem_filter(
for submission in queryset.iterator():
submission.judge(rejudge=True, batch_rejudge=True)
rejudged += 1
sleep(0.1)
if rejudged % 10 == 0:
p.done = rejudged
return rejudged