Fix to make web sockets close gracefully on server shutdown Authored-by: luke brown <luke92brown@gmail.com> Merged-by: Cody Robibero <cody@robibe.ro> Original-merge: ee22feb89a
ee22feb89a