Searched refs:killServer (Results 1 – 1 of 1) sorted by relevance
66 static void killServer(pid_t pid, const char *serverName) { in killServer() function85 killServer(p.second, p.first.c_str()); in signal_handler()