-
Notifications
You must be signed in to change notification settings - Fork 79
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
Outdated JDTTipProvider? #2135
Comments
@noopur2507 Can you answer this question? Or if you can't do you know who can? |
@wimjongman should be able to answer this. |
Those are general JDT tips which are still valid today. The content definitely needs some love. The slowness is due to a failing mirror, which is a separate issue. As for disabling the provider: The team has to decide if they want to keep the tips. If they do, we need to define some releng processes to maintain the tips on a regular basis. I'm happy to help here. This should be discussed in a separate issue higher up the chain. |
@wimjongman where are the tips maintained ? to start with. |
The tip provider determines where the tips come from. They can come from the wiki, a local directory, a download location. The dynamic setup of the providers was too ambitious. If we want to keep it, it should be tuned down to a local set of tips that can be maintained more easily and without the networking complexity it has today. |
Sometimes after running junit tests i get message
Job found still running after platform shutdown. Jobs should be canceled by the plugin that scheduled them during shutdown: org.eclipse.tips.ide.internal.IDETipManager$1
The stacktrace of that job is:
It tries to download https://eclipse.mirror.liteserver.nl/eclipse/tips/org.eclipse.jdt.tips.user/provider.json which responds very lazy.
The last tip is from "2018-06-05"
As the Tips seem to be outdated can we just remove or disable that TipProvider?
The text was updated successfully, but these errors were encountered: