deviceid / diveid weirdness

[Linus Torvalds]

On Fri, Nov 22, 2013 at 12:48 PM, Dirk Hohndel <dirk at hohndel.org> wrote:
>
> Some users get deviceid and diveid entries above 0x80000000 "truncated"
> into 0x7fffffff. But apparently only after downloading additional dives
> on top of existing ones.

Ugh.

I think we need to fix hex_value() in parse-xml.c to use "strtoul()".

The problem is hidden on 64-bit builds.

Totally untested, but that would seem to explain it.

             Linus