Hey! I ran into this segfault while making a platform request. It seems that platformID and manufacturerID are not optional and must be set. So, I guess the application must call OCSetPlatformInfo with at least platformID and manufacturerID ASAP after startup, before a platform request comes in and tears down the whole thing.
OTOH, shouldn't this be handled more gracefully? Like, return something other than OC_STACK_OK somewhere? Maybe even pass the error into the response? Cheers! Gabriel
