| Index: tools/dom/scripts/systemhtml.py
|
| diff --git a/tools/dom/scripts/systemhtml.py b/tools/dom/scripts/systemhtml.py
|
| index c5c0434515d9114e4c40ca5bfb885292ccca8036..54ad00d318651af9c6ed565cc49d63baab7f9907 100644
|
| --- a/tools/dom/scripts/systemhtml.py
|
| +++ b/tools/dom/scripts/systemhtml.py
|
| @@ -512,10 +512,10 @@ class HtmlDartInterfaceGenerator(object):
|
|
|
| for info in infos:
|
| constructors.append(info.ConstructorInfo(self._interface.id))
|
| - if factory_provider:
|
| - assert factory_provider == info.factory_provider_name
|
| - else:
|
| - factory_provider = info.factory_provider_name
|
| + if factory_provider and factory_provider != info.factory_provider_name:
|
| + _logger.warn('Conflicting factory provider names: %s != %s' %
|
| + (factory_provider, info.factory_provider_name))
|
| + factory_provider = info.factory_provider_name
|
|
|
| implementation_emitter = self._ImplementationEmitter()
|
|
|
|
|