tree 1e901ffb8111ed14a20f68e15084eddc2df9e59a
parent 56873fe4922870dee9f19b9a4f1e4a7e01cb82ac
author Simon Lin <simonlin@google.com> 1646092535 +0800
committer GitHub <noreply@github.com> 1646092535 -0800
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJiHWD3CRBK7hj4Ov3rIwAAupUIABAgTrBv31Jc0RNE79nWyHh0
 N+/qdndLUsZYVc5FPwWfBjpalpce8HimKKK0G/LxhF/8gLq/SrrGlZd0gaAe3R/x
 Hx3AsxvVho3srnSk7VEsKdtqFl6BgTFmDVCGClfWg9peXQ9UatqYiQx40a5ersan
 /r1XZf6x5zIt2Yea3xhMCoZe/JwMdO4dXmdnLNbm+OSlx75djb4igisUrhIjaqGO
 9hqkcIYJ5odWnFVfU6jwqoAZLSoJ7N0s3ONVYyNFJJBZT+UmXuXV4K0BYpS+v0Dz
 pXzuijw0trYnI7Iikzd5nZoxoq//oBLArmIRGK/Jt2RBXYzcAN4+6G66k15/+Zg=
 =3y4p
 -----END PGP SIGNATURE-----
 

[routing-manager] fix small OMR prefix election issue (#7405)

This commit fixes two small issues regarding OMR prefix election:
- This commit handles the case where `mLocalOmrPrefix` is already in
  Leader's Network Data, but not locally added. It is possible when
  the BR restores the Network Data from Leader. In such case the BR
  should re-add `mLocalOmrPrefix` to local Network Data so that it
  keeps advertising OMR Prefix. Otherwise, the OMR Prefix will be
  removed from Leader's Network Data because of Network Data
  inconsistentency, and then all BRs start to re-elect OMR Prefix. So,
  the change will make the OMR Prefix more stable in some corner
  cases.
- The change here checks if `mLocalOmrPrefix` was added to the Local
  Network Data, instead of checking if `mLocalOmrPrefix` is added to
  the Leader's Network Data. Here the BR has already decided that it
  should not be advertising `mLocalOmrPrefix`. Whether or not
  `mLocalOmrPrefix` is in Leader's Network Data is relevant. The BR
  only needs to remove `mLocalOmrPrefix` from Local Network Data and
  eventually Local Network Data will synchronize with Leader's Network
  Data. The original code also has a potential issue that the BR may
  send `NET_DATA.ntf` to Leader indefinitely when these conditions are
  met:
  - `mLocalOmrPrefix` was added to Local Network Data
  - `mLocalOmrPrefix` is not added to Leader' Network Data because
    there is no more space in Leader's Network Data