OpenDDS / OpenDDS

OpenDDS is an open source C++ implementation of the Object Management Group (OMG) Data Distribution Service (DDS). OpenDDS also supports Java bindings through JNI.
http://www.opendds.org
Other
1.28k stars 463 forks source link

Rename Configuration Keys to Properties #4564

Closed iguessthislldo closed 1 month ago

iguessthislldo commented 1 month ago

Prompted by this comment: https://github.com/OpenDDS/OpenDDS/pull/4556#discussion_r1550398101

This is to avoid confusion with config store keys, which are basically the same thing, but it comes across as strange in the documentation to use the same term. This is mostly internal to the configuration domain code and usage, but has some references in the documentation.

Also: