[nim, dj] kill_server now lists servers to choose from