The Ultimate Guide to High Availability with MariaDB

Comments - index pushdown - Bug or Side Effect

12 years, 2 months ago Elena Stepanova
Re: index pushdown - Bug or Side Effect [Answer]

Hi John,

Thank you for the data, it helped to reproduce the problem. I filed a bug on your behalf on launchpad: https://bugs.launchpad.net/maria/+bug/1000051 You can track further progress there.

 
12 years, 2 months ago John Sheppard
Re: index pushdown - Bug or Side Effect

Thank you :-)

all the best, John

 
12 years, 1 month ago Sergei Petrunia
Re: index pushdown - Bug or Side Effect

FYI: The problem has been fixed, the fix will be included in the next 5.3 release, and in the 5.5 series release that is after the next one (5.5.23 was already building, so the fix didn't make it into 5.5.23)

 
12 years, 1 month ago Sergei Petrunia
Re: index pushdown - Bug or Side Effect

s/5.5.23/5.5.24/. The fix will be in the release next after 5.5.24.

 
Content reproduced on this site is the property of its respective owners, and this content is not reviewed in advance by MariaDB. The views, information and opinions expressed by this content do not necessarily represent those of MariaDB or any other party.