Open mvomiero opened 3 months ago
@mvomiero Thanks for creating the bug. Your screenshot is truncated so can not surely see the root cause and also to the right there was more text in the message. Consider pasting stacktraces as text in the future to prevent such information loss.
So far I can observe that NoSuchFileException
was causing the move to fail.
As I cannot see that the download failed, the question is if the download actually succeeded but for some unclear reason was saved under a different file or some concurrent "thing" happened to delete the file whilst it was supposed to be moved.
Can you reproduce this bug or was it a one shot occasion that you are unable to reproduce again and have no idea how this was possible?
Ah, OK. You were saying this:
Trying to access the url, you get a 404 - not found error, so the url is not properly computed from EclipseUrlUpdater
So we have two bugs at the same time:
eclipse
) directly should always be the first candidate (so an URL with eclipse.org
in the domain) for a tool and optionally additional mirrors may be added if available.
Actual behavior
Eclipse fails to download installation because the url is wrong. Trying to access the url, you get a
404 - not found
error, so the url is not properly computed fromEclipseUrlUpdater
Steps to reproduce the bug
ide install eclipse 2023-09
Comments/Hints:
EclipseUrlUpdater
is not properly iterating through all the mirrors.