version 1.145, 2023/07/07 03:52:40
|
version 1.146, 2023/07/08 16:57:47
|
Line 2374 sub manage_reservations {
|
Line 2374 sub manage_reservations {
|
$container{$currcontainer} = $resource; |
$container{$currcontainer} = $resource; |
$container_title{$currcontainer} = $resource->compTitle(); |
$container_title{$currcontainer} = $resource->compTitle(); |
} |
} |
if (($resource->is_problem() || $resource->is_tool)) { |
if ($resource->is_problem() || $resource->is_tool()) { |
next unless (exists($output{$symb})); |
next unless (exists($output{$symb})); |
$reservable ++; |
$reservable ++; |
$rownum ++; |
$rownum ++; |