Merge pull request #940 from nupplaphil/task/remove_get_server
authorHypolite Petovan <hypolite@mrpetovan.com>
Sun, 5 Jan 2020 01:10:57 +0000 (20:10 -0500)
committerGitHub <noreply@github.com>
Sun, 5 Jan 2020 01:10:57 +0000 (20:10 -0500)
[testdrive] Remove get_server() in favor of Search::getGlobalDirectory()


Trivial merge