[GraphHopper] extra Int in the header??

[John Zhao]

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*
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.openstreetmap.org/pipermail/graphhopper/attachments/20150630/646babaf/attachment.html>