-
Notifications
You must be signed in to change notification settings - Fork 5.6k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
JDK-8299627: Fix/improve handling of "missing" element-list file #16751
JDK-8299627: Fix/improve handling of "missing" element-list file #16751
Conversation
👋 Welcome back jjg! A progress list of the required criteria for merging this PR into |
@jonathan-gibbons The following label will be automatically applied to this pull request:
When this pull request is ready to be reviewed, an "RFR" email will be sent to the corresponding mailing list. If you would like to change these labels, use the /label pull request command. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good! Kudos for taking it upon yourself to write the test.
@jonathan-gibbons This change now passes all automated pre-integration checks. ℹ️ This project also has non-automated pre-integration requirements. Please see the file CONTRIBUTING.md for details. After integration, the commit message for the final commit will be:
You can use pull request commands such as /summary, /contributor and /issue to adjust it as needed. At the time when this comment was updated there had been 280 new commits pushed to the
As there are no conflicts, your changes will automatically be rebased on top of these commits when integrating. If you prefer to avoid this automatic rebasing, please check the documentation for the /integrate command for further details. ➡️ To integrate this PR with the above commit message to the |
@jonathan-gibbons This pull request has been inactive for more than 4 weeks and will be automatically closed if another 4 weeks passes without any activity. To avoid this, simply add a new comment to the pull request. Feel free to ask for assistance if you need help with progressing this pull request towards integration! |
/integrate |
Going to push as commit b533272.
Your commit was automatically rebased without conflicts. |
@jonathan-gibbons Pushed as commit b533272. 💡 You may see a message that your pull request was closed with unmerged commits. This can be safely ignored. |
Please review a relatively simple fix to work around weirdly configured web servers.
As first reported in this email, https://mail.openjdk.org/pipermail/javadoc-dev/2023-January/005502.html
docs.oracle.com
will redirect links to https://docs.oracle.com/javase/8/docs/api/element-list to https://docs.oracle.com/en/java/javase/19/ even though the content of the page is completely different, and not as expected.It was true back when the email discussion happened, and it is still true today (November 20, 2023).
For more details: see this:
Compare this to accessing
package-list
In other words, we're getting
302 Moved Temporarily
instead of404 Not Found
. Sigh.So, with that as background, the fix is to check the end of the redirected URL against the end of the desired URL. to make sure they agree. In other words, we check that both end in
package-list
orelement-list
as appropriate.The fix to the main code is almost trivial. The test is almost
noreg-hard
and primarily consists of setting up a weirdly configured local web server, to exercise different redirect policies.Progress
Issue
Reviewers
Reviewing
Using
git
Checkout this PR locally:
$ git fetch https://git.openjdk.org/jdk.git pull/16751/head:pull/16751
$ git checkout pull/16751
Update a local copy of the PR:
$ git checkout pull/16751
$ git pull https://git.openjdk.org/jdk.git pull/16751/head
Using Skara CLI tools
Checkout this PR locally:
$ git pr checkout 16751
View PR using the GUI difftool:
$ git pr show -t 16751
Using diff file
Download this PR as a diff file:
https://git.openjdk.org/jdk/pull/16751.diff
Webrev
Link to Webrev Comment