gerrit.named-data.net / ndns / 83b7c2ff95792d4fe798d8c6011510ee29942898 / src / daemon / name-server.hpp