mirror of
https://github.com/openjdk/jdk.git
synced 2026-02-26 02:00:12 +00:00
8170633: backslashes in gensrc/module-info.java comments need escaping
Reviewed-by: alanb, psandoz, wetmore
This commit is contained in:
parent
c7da82e9c0
commit
75efb52ec8
@ -146,9 +146,10 @@ public class GenModuleInfoSource {
|
||||
for (String l : lines) {
|
||||
writer.println(l);
|
||||
if (l.trim().startsWith("module ")) {
|
||||
writer.format(" // source file: %s%n", sourceFile);
|
||||
// print URI rather than file path to avoid escape
|
||||
writer.format(" // source file: %s%n", sourceFile.toUri());
|
||||
for (Path file: extraFiles) {
|
||||
writer.format(" // %s%n", file);
|
||||
writer.format(" // %s%n", file.toUri());
|
||||
}
|
||||
break;
|
||||
}
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user