Skip to content
This repository was archived by the owner on Apr 26, 2024. It is now read-only.

Handle exceptions thrown in handling remote device list updates#2189

Merged
erikjohnston merged 3 commits intodevelopfrom
erikj/handle_remote_device_list
May 5, 2017
Merged

Handle exceptions thrown in handling remote device list updates#2189
erikjohnston merged 3 commits intodevelopfrom
erikj/handle_remote_device_list

Conversation

@erikjohnston
Copy link
Member

No description provided.

@erikjohnston erikjohnston changed the base branch from master to develop May 5, 2017 09:35
@erikjohnston erikjohnston changed the title Erikj/handle remote device list Handle exceptions thrown in handling remote device list updates May 5, 2017
@erikjohnston
Copy link
Member Author

Relatedly, #2190 should make this less common

@erikjohnston
Copy link
Member Author

(This shouldn't actually be a functional change, since we catch exceptions a layer up too. This just logs them in the right place and doesn't spam the logs with exceptions for NotRetryingDestination)

Copy link
Member

@richvdh richvdh left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

a comment explaining why it's better to abort than to carry on with the delta wouldn't hurt. Otherwise lgtm

@richvdh richvdh assigned erikjohnston and unassigned richvdh May 5, 2017
@erikjohnston erikjohnston merged commit be26727 into develop May 5, 2017
@erikjohnston erikjohnston deleted the erikj/handle_remote_device_list branch October 26, 2017 11:00
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants