New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

adapt sleep-time for poller #33

Open

maxhaslbeck opened this issue Jun 23, 2020 · 1 comment

Labels

good first issue

Collaborator

maxhaslbeck commented Jun 23, 2020 •

edited

Loading

Do I see that correctly that the poller waits 2+5=7min if it does not find a submission?

https://github.com/maxhaslbeck/proving-contest-backends/blob/5bf3136d9f9a82952a605cedaed7c8c1ea80fb37/poller.py#L115

https://github.com/maxhaslbeck/proving-contest-backends/blob/5bf3136d9f9a82952a605cedaed7c8c1ea80fb37/poller.py#L95

I guess that's annoying at least during a contest.
So this should be pulled out as a parameter into some config file

Collaborator Author

maxhaslbeck commented Jun 24, 2020

it is in seconds.
I got confused because two judges on different servers were polling from the production server.

still, pulling out that variable would be beneficial.

maxhaslbeck added the good first issue label

# for free to join this conversation on GitHub. Already have an account? # to comment