[PATCH] don't allow plugins with the same filename in different dirs
Lalo Martins
lalo at exoweb.net
Fri Aug 19 03:36:19 BST 2005
here it is.
And so says Martin Pool on 18/08/05 15:02...
> On 8/18/05, Lalo Martins <lalo at exoweb.net> wrote:
>>This can be brought about by keeping one single "plugin_names" set, and
>>then dedenting a big chunk of load_plugins(). Then the call to
>>find_module later on has to have the actual plugin path, rather than
>>[d]. I'll write a patch later, if nobody beats me to it.
>
>
> Thanks lalo.
best,
Lalo Martins
--
So many of our dreams at first seem impossible,
then they seem improbable, and then, when we
summon the will, they soon become inevitable.
--
http://www.exoweb.net/ mailto:lalo at exoweb.net
GNU: never give up freedom http://www.gnu.org/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: plugin-single-filename-space.diff
Type: text/x-patch
Size: 2168 bytes
Desc: not available
Url : https://lists.ubuntu.com/archives/bazaar/attachments/20050819/feffb7fc/attachment.bin
More information about the bazaar
mailing list