[patch] Fix java.util.zip.ZipEntry.setTime

Tom Tromey tromey@redhat.com
Wed Jun 16 05:33:00 GMT 2004


Jerry> However, setTime is defined to take a value in milliseconds,
Jerry> and Date is also.  Multiplying by 1000 screwed up the Date that
Jerry> was constructed and things go downhill from there.

Thanks -- I was under the misapprehension that setTime took a DOS time
argument.

Tom



More information about the Java-patches mailing list