Andy Ross wrote:
This fix can't be checked in though, because it isn't correct*. The generated ID is not guaranteed to be unique. The right solution would be to either change the type of the ID to a "long long" or "uint64_t", or generate an identifier from something other than the pointer value.
This change has just been checked in. Erik _______________________________________________ Flightgear-devel mailing list Flightgear-devel@flightgear.org http://mail.flightgear.org/mailman/listinfo/flightgear-devel 2f585eeea02e2c79d7b1d8c4963bae2d