Skip to content
  • Leigh B Stoller's avatar
    # If NOT revoking the reservation, then we need to leave the reserved_pid · d4c4df64
    Leigh B Stoller authored
        # set, but we have to do something with the reservation_name since we
        # need to be able to reuse the reservation name in a new one. We cannot
        # clear it, since a NULL reservation_name means it was reserved via the
        # web interface and not allowed to be messed with by the pre-reservation
        # code. Look at Node::CheckPreReserve() to see what I mean. So instead,
        # we set it to something not likely to be an actual reservation name.
    
    Another solution might be to actually set the reservation_name to the name
    of the administrator when using the web interface. That would provide some
    extra info, and remove this odd corner case above.
    d4c4df64