[FIX] registry: fix a bug where RegistryManager.new() could return an out-of-date...
authorVo Minh Thu <vmt@openerp.com>
Tue, 12 Feb 2013 08:53:11 +0000 (09:53 +0100)
committerVo Minh Thu <vmt@openerp.com>
Tue, 12 Feb 2013 08:53:11 +0000 (09:53 +0100)
commite746cb1654bac97c41b72fb807644a608da5b46b
tree6d4c0ce37d176317d491340be89bc81de69b212c
parent2d6180c35c9481b2d72a9d805230bbaa5402f6f4
[FIX] registry: fix a bug where RegistryManager.new() could return an out-of-date registry.

bzr revid: vmt@openerp.com-20130212085311-o53wv7yful39kktd
openerp/modules/module.py
openerp/modules/registry.py