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

Fix from_server buglet in get_keys_from_perspectives #5024

Merged
merged 1 commit into from
Apr 8, 2019

Conversation

richvdh
Copy link
Member

@richvdh richvdh commented Apr 8, 2019

make sure we store the name of the server the keys came from, rather than the
origin server, after doing a fetch-from-perspectives.

make sure we store the name of the server the keys came from, rather than the
origin server, after doing a fetch-from-perspectives.
@richvdh richvdh requested a review from a team April 8, 2019 11:52
@codecov
Copy link

codecov bot commented Apr 8, 2019

Codecov Report

Merging #5024 into develop will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff            @@
##           develop    #5024   +/-   ##
========================================
  Coverage    61.59%   61.59%           
========================================
  Files          332      332           
  Lines        34225    34225           
  Branches      5643     5643           
========================================
  Hits         21081    21081           
  Misses       11630    11630           
  Partials      1514     1514

1 similar comment
@codecov
Copy link

codecov bot commented Apr 8, 2019

Codecov Report

Merging #5024 into develop will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff            @@
##           develop    #5024   +/-   ##
========================================
  Coverage    61.59%   61.59%           
========================================
  Files          332      332           
  Lines        34225    34225           
  Branches      5643     5643           
========================================
  Hits         21081    21081           
  Misses       11630    11630           
  Partials      1514     1514

@richvdh richvdh merged commit 67d7b44 into develop Apr 8, 2019
@richvdh richvdh deleted the rav/record_correct_server_in_serverkeys branch April 8, 2019 14:40
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