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