use the new DateTools.timeToString instead of the deprecated DateTime class.

git-svn-id: https://svn.apache.org/repos/asf/lucene/java/trunk@150722 13f79535-47bb-0310-9956-ffa450edef68
This commit is contained in:
Bernhard Messer 2004-12-30 12:06:09 +00:00
parent eb7e42eb4a
commit cbe5047e62
1 changed files with 1 additions and 1 deletions

View File

@ -32,7 +32,7 @@ public class HTMLDocument {
// separate the path from the date. // separate the path from the date.
return f.getPath().replace(dirSep, '\u0000') + return f.getPath().replace(dirSep, '\u0000') +
"\u0000" + "\u0000" +
DateField.timeToString(f.lastModified()); DateTools.timeToString(f.lastModified(), DateTools.Resolution.SECOND);
} }
public static String uid2url(String uid) { public static String uid2url(String uid) {