diff options
author | Harald Musum <musum@verizonmedia.com> | 2019-01-30 11:37:14 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-01-30 11:37:14 +0100 |
commit | c06a7d78d68c22b66e0cdf8b6f4aa838259a85af (patch) | |
tree | 592eb058c4ac60dd4b557c2038725a4fd1a039e7 /controller-server | |
parent | ac0bd0be3ae66a374058555fb7061d127b7fbbd9 (diff) | |
parent | bc25e42ed77740fdd626d41ed6d0392fcf8d6aa0 (diff) |
Merge pull request #8268 from vespa-engine/hmusum/simplify-host-registry
Simplify by having just one map and synchronize access
Diffstat (limited to 'controller-server')
0 files changed, 0 insertions, 0 deletions