| Index: tools/dom/scripts/htmldartgenerator.py
|
| diff --git a/tools/dom/scripts/htmldartgenerator.py b/tools/dom/scripts/htmldartgenerator.py
|
| index fdf8b0ed4fd62ba2cfd5a3dac640ee79420e8d83..6e512f9fcae6ccff7c322b6f92c34df95bfccfe6 100644
|
| --- a/tools/dom/scripts/htmldartgenerator.py
|
| +++ b/tools/dom/scripts/htmldartgenerator.py
|
| @@ -208,6 +208,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),
|
|
|