code: def unsubscribe(self, connection):
          
          self._subscribed_connections.discard(connection)
          self._last_unsubscribe_time = current_time()
docs: This should only be called by ``ServerConnection.unsubscribe_session`` or our book-keeping will be broken