fix for mastership race condition.
Change-Id: Id219bdf00f3d6501027566d54342c5d7c1b27789
Showing
1 changed file
with
4 additions
and
0 deletions
| ... | @@ -614,7 +614,11 @@ public class DeviceManager | ... | @@ -614,7 +614,11 @@ public class DeviceManager |
| 614 | } | 614 | } |
| 615 | 615 | ||
| 616 | // device is connected to this node: | 616 | // device is connected to this node: |
| 617 | + if (store.getDevice(did) != null) { | ||
| 617 | reassertRole(did, myNextRole); | 618 | reassertRole(did, myNextRole); |
| 619 | + } else { | ||
| 620 | + log.warn("Device is not yet/no longer in the store: {}", did); | ||
| 621 | + } | ||
| 618 | } | 622 | } |
| 619 | } | 623 | } |
| 620 | 624 | ... | ... |
-
Please register or login to post a comment