# If NOT revoking the reservation, then we need to leave the reserved_pid
# 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.
Showing with 8 additions and 4 deletions