Skip to content

Commit

Permalink
'#1859 converts createTime field to java Date
Browse files Browse the repository at this point in the history
  • Loading branch information
patrickdalla committed Nov 8, 2023
1 parent be65b8f commit 5eac8f2
Showing 1 changed file with 3 additions and 3 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -46,7 +46,7 @@ public class Index {
private final int tableLength;
private final int crash;
private final int experiment;
private final long createTime;
private final Date createTime;
private final int[] padding = new int[52];
private int[] pad1 = new int[2];
private int filled;
Expand Down Expand Up @@ -99,7 +99,7 @@ public int getExperiment() {
return experiment;
}

public long getCreateTime() {
public Date getCreateTime() {
return createTime;
}

Expand Down Expand Up @@ -174,7 +174,7 @@ public Index(InputStream is, String path, List<IItemReader> dataFiles, List<IIte
tableLength = read4bytes(is);
crash = read4bytes(is);
experiment = read4bytes(is);
createTime = read8bytes(is);
createTime = readDate(is);

for (int i = 0; i < 52; i++) {
padding[i] = (int) readUnsignedInt(is);
Expand Down

0 comments on commit 5eac8f2

Please sign in to comment.