mirror of
https://github.com/openjdk/jdk.git
synced 2025-08-28 23:34:52 +02:00
8180019: javadoc should treat failure to access URL as an error, not a warning
Reviewed-by: jjg
This commit is contained in:
parent
7fe35f784b
commit
2af00f5da9
3 changed files with 6 additions and 7 deletions
|
@ -223,7 +223,7 @@ public class Extern {
|
|||
}
|
||||
return true;
|
||||
} catch (Fault f) {
|
||||
reporter.print(Diagnostic.Kind.WARNING, f.getMessage());
|
||||
reporter.print(Diagnostic.Kind.ERROR, f.getMessage());
|
||||
return false;
|
||||
}
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue