search

isabelle-prover / proving-contest-backends

"proving-contest"-backends for several theorem provers
MIT License
12 stars 5 forks source link

adapt sleep-time for poller #33

Open maxhaslbeck opened 4 years ago

maxhaslbeck commented 4 years ago

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

maxhaslbeck commented 4 years ago

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.