niloc132
commented
1 year ago It is odd that the old URL worked, since that had a redirect too - all gwtproject.org urls were auto-redirected to www.gwtproject.org. We only added another step of also redirecting http to https.
Maybe we should disable requiring https on a few specific URLs like this? I'm not quite sure where to do that, but we could disable the www. redirect at https://github.com/Vertispan/gwtproject.org/blob/main/www/www-redirect.conf.template
As the above repo notes, we're using (and assuming) something like https://github.com/nginx-proxy/nginx-proxy to manage https termination. We could in theory set HTTPS_METHOD=noredirect according to those docs, but we only want to exclude it for these specific URLs.
This is still a good change to make, we should push towards https.
jhillbounce
Eclipse 2023-03 Shows Language Server Errors when connecting to the GWT http URL for the DTD. Switching the DTD to the https URL resolves the issue.
Example Errors: Element type "add-linker" must be declared. Element type "entry-point" must be declared. Element type "inherits" must be declared. Element type "inherits" must be declared. Element type "module" must be declared. Element type "source" must be declared. Element type "source" must be declared. There is '1' error in 'http://gwtproject.org/doctype/2.9.0/gwt-module.dtd'. ... Language Servers
It looks very similar to this issue. (Turning off the XML Language Server setting in Eclipse 2023-03 - hides the error) https://stackoverflow.com/questions/62113303/how-to-avoid-error-messages-in-eclipse-2020-03-for-gwt-ui-xml-files-language-se