Nov. 9, 2018
6:01 p.m.
Hi Christophe, On Fri, 9 Nov 2018 at 15:15, Christophe Demarey <christophe.demarey@inria.fr> wrote:
For now, to work around the problem, I will add a windows to easily update the VMs from the launcher UI.
It should be possible to check if there is a new VM by just requesting the headers for the download URL. You could then add a "Check for new VM" button / menu item, and maybe even have a setting to do it each time the launcher is started. Cheers, Alistair