out.write("<thead>\n<tr><th/><th>Name</th><th></th><th>Date</th><th>Size</th>");
if (offset > 0) {
out.write("<th><tt>Description</tt></th>");
}
out.write("</tr>\n</thead>\n<tbody>\n");
IgnoredNames ignoredNames = RuntimeEnvironment.getInstance().getIgnoredNames();
Format dateFormatter = new SimpleDateFormat("dd-MMM-yyyy", Locale.getDefault());
// print the '..' entry even for empty directories
if (path.length() != 0) {
out.write("<tr><td><p class=\"'r'\"/></td><td>");
out.write("<b><a href=\"..\">..</a></b></td><td></td>");
PrintDateSize(out, dir.getParentFile(), null, dateFormatter);
out.write("</tr>\n");
}
Map<String, Date> modTimes =
HistoryGuru.getInstance().getLastModifiedTimes(dir);
if (files != null) {
for (String file : files) {
if (ignoredNames.ignore(file)) {
continue;
}
File child = new File(dir, file);
if (ignoredNames.ignore(child)) {
continue;
}
if (file.startsWith("README") || file.endsWith("README")
|| file.startsWith("readme"))
{