]> git.pond.sub.org Git - empserver/search
(finish_server): New, factored out of termination code. Fixes two