[Gretl-devel] Re: missing timeout when retrieving package info from server?
Am 25.08.2020 um 18:05 schrieb Allin Cottrell:
On Sun, 23 Aug 2020, Sven Schreiber wrote:
> It seems to me a timeout would be good, such that after 5 or 10 seconds
> or so gretl will stop waiting for the server.
We can do that quite easily. I'm just not sure about the best limit.
Sometimes one can get a response by waiting for longer than 10 seconds.
20 sec would also be OK I think :-)
cheers
sven