Re: MariaDB instead of MySQL

[Marc Perkel]

So - after a few days all is good. The verdict seems to be that MariaDB 
works much better than MySQL. The conversion was trivial and everything 
just works now. I'm filtering for about 80k users. MySQL never worked 
for me longer than a few hours. Token count is abut 2,000,000.

I'm recommending MariaDB.