def delete(self, reservation_id):
        client = self._redis_maker()
      
        client.srem(WEBLAB_RESERVATIONS, reservation_id)
        weblab_reservation            = WEBLAB_RESERVATION                    % reservation_id
        weblab_reservation_status     = WEBLAB_RESERVATION_STATUS             + reservation_id
        weblab_reservation_schedulers = WEBLAB_RESERVATIONS_ACTIVE_SCHEDULERS % reservation_id
        client.delete(weblab_reservation, weblab_reservation_status, weblab_reservation_schedulers)
dataset/ETHPy150Open weblabdeusto/weblabdeusto/server/src/weblab/core/coordinator/redis/reservations_manager.py/ReservationsManager.delete/operator `%` -> `+`