

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/original