mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
avoid loading quick doc info via built-in server for class members
This commit is contained in:
@@ -123,7 +123,10 @@ public class JavaDocExternalFilter extends AbstractExternalFilter {
|
||||
CharSequence externalDoc = null;
|
||||
String builtInServer = "http://localhost:" + BuiltInServerOptions.getInstance().getEffectiveBuiltInServerPort() + "/" + myProject.getName() + "/";
|
||||
if (docURL.startsWith(builtInServer)) {
|
||||
VirtualFile file = WebServerPathToFileManager.getInstance(myProject).get(docURL.substring(builtInServer.length()));
|
||||
int refPosition = docURL.lastIndexOf('#');
|
||||
VirtualFile file = WebServerPathToFileManager.getInstance(myProject).get(
|
||||
docURL.substring(builtInServer.length(), refPosition < builtInServer.length() ? docURL.length() : refPosition)
|
||||
);
|
||||
if (file != null) {
|
||||
InputStreamReader reader = new InputStreamReader(file.getInputStream(), CharsetToolkit.UTF8_CHARSET);
|
||||
StringBuilder result = new StringBuilder();
|
||||
|
||||
Reference in New Issue
Block a user