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 <de...@vaadin.com>
Gerrit-Reviewer: Daniel Kurka <danku...@google.com>
Gerrit-Reviewer: Leeroy Jenkins <jenk...@gwtproject.org>
Gerrit-Reviewer: Thomas Broyer <t.bro...@gmail.com>
--
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 google-web-toolkit-contributors+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.
