[GraphHopper] extra Int in the header??

[Peter]

Hi John,

yes, this is a bit waste of space :)

But the empty space is to avoid thinking about header size in the
consuming class but mainly to avoid breaking the file format when we
insert new data there.

Regards,
Peter

On 01.07.2015 02:04, John Zhao wrote:
> 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
> GraphHopper at openstreetmap.org
> https://lists.openstreetmap.org/listinfo/graphhopper

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.openstreetmap.org/pipermail/graphhopper/attachments/20150701/8c49e4dc/attachment.html>