Open JeremyRand opened 3 years ago
Currently server.Stop() doesn't actually do anything. This doesn't matter in practice since the process will exit imminently, which will shut down the HTTP/HTTPS listeners, but we really should stop those listeners explicitly.
Currently server.Stop() doesn't actually do anything. This doesn't matter in practice since the process will exit imminently, which will shut down the HTTP/HTTPS listeners, but we really should stop those listeners explicitly.