The server socket does not release the port it was listening for if we just close it: we must also shutdown it.