Download links not immediately resolving to latest

[marcdumais-work]

Bug Description:

Links we use in a few places, to provide downloads from our project storage area, seem to lag behind for some time, serving an older version of the Blueprint installer(s). e.g.:

https://www.eclipse.org/downloads/download.php?file=/theia/latest/linux/TheiaBlueprint.AppImage&r=1

I am not sure if maybe caching on the server could be a reason why this happens.

Work-around: using this link instead, we get what seems to be the latest content:
https://download.eclipse.org/theia/latest/

Steps to Reproduce:

1. go to https://theia-ide.org/docs/blueprint_download
2. download Blueprint for the appropriate platform
3. install/run Blueprint. Once started, go in the top Help menu and select About. Note the version of the Theia framework: 1.17.2. note: I think the newer packages are now being served, but it took more than 12 hours.
4. go to https://download.eclipse.org/theia/latest/
5. Navigate to your platform and download the proper installer/AppImage
6. install/run Blueprint. Once started, go in the top Help menu and select About. Note the version of the Theia framework: 1.19.0

Additional Information

• Operating System:
• Theia Version:

[jfaltermeier]

I believe that with the new links, we might lose download stats: https://wiki.eclipse.org/Project_Download_Stats
As far as I know the direct links bypass the mirror mechanism. I've downloaded some older files now using above links and will check whether stats were recorded.

[brianking]

@jfaltermeier Did you discover whether download stats are preserved?

[jfaltermeier]

@jfaltermeier Did you discover whether download stats are preserved?

Sorry, I've only commented here: eclipse-theia/theia-website#236 (comment)
No stats were recorded using the https://download.eclipse.org/theia/latest/ links