

def initialize_deletion(self, reservation_id):
    client = self._redis_maker()
    return (client.sadd(WEBLAB_RESERVATIONS_FINISHING, reservation_id) != 0)

dataset/ETHPy150Open weblabdeusto/weblabdeusto/server/src/weblab/core/coordinator/redis/reservations_manager.py ReservationsManager.initialize_deletion/original