| Index: tools/dom/scripts/dartgenerator.py
|
| diff --git a/tools/dom/scripts/dartgenerator.py b/tools/dom/scripts/dartgenerator.py
|
| index 55a349904d036383ba5f16695dd1650fd05dc1d1..5adbe3a8264b713bc77d310fc399bc52dbfa62bc 100755
|
| --- a/tools/dom/scripts/dartgenerator.py
|
| +++ b/tools/dom/scripts/dartgenerator.py
|
| @@ -244,3 +244,11 @@ class DartGenerator(object):
|
|
|
| if 'ScriptArguments' in call_with:
|
| operation.arguments.append(ARG)
|
| +
|
| + # TODO(terry): Hack to remove 3rd arguments in setInterval/setTimeout.
|
| + def HackCleanupTimers(self, database):
|
| + for interface in database.GetInterfaces():
|
| + for operation in interface.operations:
|
| + if ((operation.id == 'setInterval' or operation.id == 'setTimeout') and \
|
| + operation.arguments[0].type.id == 'any'):
|
| + operation.arguments.pop(2)
|
|
|