maria-developers team mailing list archive

Re: [Commits] Rev 2983: WL#77 - INSTALL PLUGIN * in http://bazaar.launchpad.net/~maria-captains/maria/5.2/

To: maria-developers@xxxxxxxxxxxxxxxxxxx
From: Alexey Botchkov <holyfoot@xxxxxxxxxxxx>
Date: Thu, 30 Jun 2011 01:12:58 +0400
Cc: commits@xxxxxxxxxxx, serg@xxxxxxxxxxxx
In-reply-to: <20110617174919.531C9D0A30@hasky.askmonty.org>
User-agent: Mozilla/5.0 (Windows; U; Windows NT 6.0; ru; rv:1.9.2.17) Gecko/20110414 Thunderbird/3.1.10

I'm fine with this last patch.

One thing i can think of is if we should add a new error instead ofadding static english texts to the ER_CANT_OPEN_LIBRARY

like 'API version for ... plugin ... not supported'.

Second question if we should have INSTALL PLUGIN ... IF NOT INSTALLED;to be even more user-friendly.


Regards
HF


17.06.2011 21:49, serg@xxxxxxxxxxxx wrote:

At http://bazaar.launchpad.net/~maria-captains/maria/5.2/