def __repr__(self):
        return "CurrentReservation(id=%r, reservation=%r)" % (self.id, self.reservation)

######################################################################################
#
# Different threads and servers might try to finish a reservation for different
# reasons: user request to cancel a reservation, experiment notifying that the session
# should end, a timeout, etc. In order to coordinate them and avoid two concurrent
# calls to finish(), we use this temporal table. Every server trying to dispose a
# reservation will add the reservation_id. If they don't fail, they do the process.
# But if they fail because someone else added it first, they skip it.
#
dataset/ETHPy150Open weblabdeusto/weblabdeusto/server/src/weblab/core/coordinator/sql/model.py/CurrentReservation.__repr__/original