| Index: tools/dom/scripts/htmldartgenerator.py
|
| diff --git a/tools/dom/scripts/htmldartgenerator.py b/tools/dom/scripts/htmldartgenerator.py
|
| index 2f90c46f69644717b454ecc31687b41025b169ed..a98233565640a244683986b85cd118bc35d0ef8f 100644
|
| --- a/tools/dom/scripts/htmldartgenerator.py
|
| +++ b/tools/dom/scripts/htmldartgenerator.py
|
| @@ -206,6 +206,7 @@ class HtmlDartGenerator(object):
|
| operation.id. If not, stop library generation, and throw an error, requiring
|
| programmer input about the best name change before proceeding."""
|
| operation_str = '%s.%s' % (interface.id, operation.id)
|
| +
|
| if (operation.id in operations_by_name and
|
| len(operations_by_name[operation.id]) > 1 and
|
| len(filter(lambda overload: overload.startswith(operation_str),
|
|
|