src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/util/Extern.java
equal
deleted
inserted
replaced
221 } else { |
221 } else { |
222 readPackageListFromFile(url, DocFile.createFileForInput(configuration, pkglisturl)); |
222 readPackageListFromFile(url, DocFile.createFileForInput(configuration, pkglisturl)); |
223 } |
223 } |
224 return true; |
224 return true; |
225 } catch (Fault f) { |
225 } catch (Fault f) { |
226 reporter.print(Diagnostic.Kind.WARNING, f.getMessage()); |
226 reporter.print(Diagnostic.Kind.ERROR, f.getMessage()); |
227 return false; |
227 return false; |
228 } |
228 } |
229 } |
229 } |
230 |
230 |
231 private URL toURL(String url) throws Fault { |
231 private URL toURL(String url) throws Fault { |