Thomas Broyer has submitted this change and it was merged.
Change subject: Log excluded resources in DirectoryClassPathEntry the same
way as ZipFileClassPathEntry
......................................................................
Log excluded resources in DirectoryClassPathEntry the same way as
ZipFileClassPathEntry
Bug: issue 8188
Change-Id: I7c25c0e486e02a3b5ed1a8804d5276cebc0877c6
---
M dev/core/src/com/google/gwt/dev/resource/impl/DirectoryClassPathEntry.java
1 file changed, 6 insertions(+), 0 deletions(-)
Approvals:
Leeroy Jenkins: Verified
Thomas Broyer: Looks good to me, approved
diff --git
a/dev/core/src/com/google/gwt/dev/resource/impl/DirectoryClassPathEntry.java
b/dev/core/src/com/google/gwt/dev/resource/impl/DirectoryClassPathEntry.java
index 315fcd9..ec0b668 100644
---
a/dev/core/src/com/google/gwt/dev/resource/impl/DirectoryClassPathEntry.java
+++
b/dev/core/src/com/google/gwt/dev/resource/impl/DirectoryClassPathEntry.java
@@ -36,6 +36,9 @@
static final Message1String INCLUDING_FILE = new Message1String(
TreeLogger.DEBUG, "Including file: $0");
+
+ static final Message1String EXCLUDING_FILE = new Message1String(
+ TreeLogger.DEBUG, "Excluding file: $0");
}
/**
@@ -119,6 +122,9 @@
FileResource r = new FileResource(this, childPath, child);
results.get(i).put(r, prefix);
}
+ else {
+ Messages.EXCLUDING_FILE.log(logger, childPath, null);
+ }
}
}
}
--
To view, visit https://gwt-review.googlesource.com/3380
To unsubscribe, visit https://gwt-review.googlesource.com/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I7c25c0e486e02a3b5ed1a8804d5276cebc0877c6
Gerrit-PatchSet: 3
Gerrit-Project: gwt
Gerrit-Branch: master
Gerrit-Owner: Denis Anisimov <[email protected]>
Gerrit-Reviewer: Daniel Kurka <[email protected]>
Gerrit-Reviewer: Leeroy Jenkins <[email protected]>
Gerrit-Reviewer: Thomas Broyer <[email protected]>
--
http://groups.google.com/group/Google-Web-Toolkit-Contributors
---
You received this message because you are subscribed to the Google Groups "GWT Contributors" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/groups/opt_out.
