Hi,
/**
* Writes some internal data into the beginning of the specified file.
*/
protected void writeHeader( RandomAccessFile file, long length, int
segmentSize ) throws IOException
{
file.seek(0);
file.writeUTF("GH*”*); // 4 bytes
file.writeLong(length); // 8 bytes
file.writeInt(segmentSize); // 4 bytes
for (int i = 0; i < header.length; i++)
{
file.writeInt(header[i]);
}
}
it's totally 100 bytes.
We only use 96 bytes of them.
It's not a problem.
Just curious.
It's better to use them all, to reduce any further question. :)
*Best Regards,*
*ZhiQiang ZHAO*
_______________________________________________
GraphHopper mailing list
[email protected]
https://lists.openstreetmap.org/listinfo/graphhopper
