close_server() should call clear_server_queues() on the server that's being closed, not from_server. This also lets us remove a few other calls to clear_server_queues() that are right next to calls to close_server().
220 KiB
220 KiB