[GraphHopper] extra Int in the header??

[Peter]

You mean adding it as a separate header variable?

Regards,
Peter

On 01.07.2015 08:02, John Zhao wrote:
> Hi Peter,
>
> Thanks for your reply.
> I think we can add it to headers[21].
> But nvm, not big deal.
>
> *Best Regards,*
> *ZhiQiang ZHAO*
>
> On Tue, Jun 30, 2015 at 10:55 PM, Peter <graphhopper at gmx.de
> <mailto:graphhopper at gmx.de>> wrote:
>
>     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*
>>

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