Closed kalyankrishna1 closed 3 years ago
hrmm... i'm not able to replicate this.
@odockal let me know if you can just test it super quick?
btw I am not blocked as figured out how to download one and use it instead. Do note that it works on my other machine. I am transitioning to a new workstation and that's where i ran into this issue.
I trued using fiddler to see if there was something wrong with the internet, but that didn't had anything.
the extension has no logging or settings and that does not help either
@robstryker @kalyankrishna1 I also can download all tomcat 9.x servers. Question here is, is it still occurring? If not, it might have been mirror outage, if it is still happening it might be intentional blocking of mirror site (unlikely) or something else. Would you mind to try it again? You could probably debug the issue a bit by opening Developer Tools in VSCode and looking at Console tab for error or warnings.
Closing as not replicatable. Please re-open if still occurring.
Unable to create the server: Extension backend error - failed to download runtime in time
No other details are provided