Rename the header_len field to header_data_len
authorAntonio Ospite <ospite@studenti.unina.it>
Fri, 13 Jan 2012 12:43:59 +0000 (13:43 +0100)
committerAntonio Ospite <ospite@studenti.unina.it>
Fri, 13 Jan 2012 12:43:59 +0000 (13:43 +0100)
This matches better match its meaning, it is not the length of the whole
header, but only of the header_data section.


No differences found