mirror of
https://github.com/MariaDB/server.git
synced 2025-11-09 11:41:36 +03:00
Problem was an errornous date that lead to end partition was before the start, leading to a crash. Solution was to check greater or equal instead of only equal between start and end partition. NOTE: partitioning pruning handles incorrect dates differently than index lookup, which can give different results in a partitioned table versus a non partitioned table for queries having 'bad' dates in the where clause.
26 KiB
26 KiB