1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-08 11:22:35 +03:00

Post-review fix (WL#2987)

This commit is contained in:
unknown
2006-02-14 16:50:51 +01:00
parent cf93a5a4fd
commit bd30fa15b8

View File

@@ -3641,14 +3641,11 @@ void prune_partition_set(const TABLE *table, part_id_range *part_spec)
part_spec->start_part= i;
last_partition= i;
}
else
{
if (last_partition == -1)
/* No partition found in pruned bitmap yet */
part_spec->start_part= i + 1;
}
}
if (last_partition != -1)
if (last_partition == -1)
/* No partition found in pruned bitmap */
part_spec->start_part= part_spec->end_part + 1;
else //if (last_partition != -1)
part_spec->end_part= last_partition;
DBUG_VOID_RETURN;