[Gretl-devel] missing timeout when retrieving package info from server?

Hi, lately I've experienced the following problem within gretl's GUI: I have the window with the function package list on the server open, and I right-click on a package's name. Then I select "Info" and normally gretl then loads the package's basic information from the package server to display it in a new window. However, from time to time nothing happens, presumably because the server is not responding or whatever. The problem then is that the action can only be canceled indirectly: Clicking the close button of the window brings up the typical Windows message about the program not responding (...this is gretl 2020d on Windows). Choosing option "try to restore the program" or so then solves the obstruction. (One shouldn't choose "close window" because then the whole gretl instance is gone.) 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. thanks sven