-
Leigh B Stoller authored
to check the reservation_name in the nodes table; if reserved_pid is set but reservation_name is null, it was prereserved via the web interface not via the prereserve command line tool. In this case, we never clear the pre-reserve, someone has to do that via the web interface.
dc131f4e