Config files can contain multiple seeds, even though only one is used

[alexdewar]

See:

healthgps/src/HealthGPS.Input/configuration_parsing.cpp

Line 238 in 4cfa3c2

// I copied this logic from the old code, but it seems strange to me. Why do we

Note that although seed is an array, we only ever read at most one value from it. If the array is empty or the property is missing altogether, the seed is automatically generated.

A better way to express this would be to make it so the seed can be either an integer or null. Not sure whether the property should be required or optional.

[jamesturner246]

That is weird. You say only the first seed is used and the rest discarded? Gross. Integer or null is good.

I'd personally make everything required and disable with null, but that's just me. Happy with what you choose.

[alexdewar]

That is weird. You say only the first seed is used and the rest discarded? Gross. Integer or null is good.

Yeah, exactly.

I'd personally make everything required and disable with null, but that's just me. Happy with what you choose.

I think that's the right call too. Better to be explicit.