-
Adam Barth authored
We seem to have trouble killing sky_server by its pid. Instead, lets try killing it by looking up which process is listening on the sky_server port.
45be4c6f
We seem to have trouble killing sky_server by its pid. Instead, lets try killing it by looking up which process is listening on the sky_server port.
HIAST - GitLab