ASPP / pelita

Actor-based Toolkit for Interactive Language Education in Python
https://github.com/ASPP/pelita_template
Other
62 stars 68 forks source link

Add initial request timeout which is different from game timeout #778

Open Debilski opened 11 months ago

Debilski commented 11 months ago

When playing against a network bot, it makes sense to specify a different initial timeout.

The network bot might need some time to start up; or the network server might have some throttling mechanism implemented to only allow for a number of connections at the same time. We currently take the value from --set-timeout or have a non-configurable default (usually 3).