

def list_all_reservations(self):
    client = self._redis_maker()
    return client.smembers(WEBLAB_RESERVATIONS)

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