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:
mskold@mysql.com
2006-02-14 16:50:51 +01:00
parent 36715c70f7
commit dafc2c7aad

View File

@@ -3641,14 +3641,11 @@ void prune_partition_set(const TABLE *table, part_id_range *part_spec)
part_spec->start_part= i; part_spec->start_part= i;
last_partition= 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; part_spec->end_part= last_partition;
DBUG_VOID_RETURN; DBUG_VOID_RETURN;