| Index: tools/dom/scripts/dartdomgenerator.py
|
| diff --git a/tools/dom/scripts/dartdomgenerator.py b/tools/dom/scripts/dartdomgenerator.py
|
| index 8388273c8994638dadc68f62e32807368e61211e..d0edff6608f55f43ac8e0411ac378d76b4bb2864 100755
|
| --- a/tools/dom/scripts/dartdomgenerator.py
|
| +++ b/tools/dom/scripts/dartdomgenerator.py
|
| @@ -38,12 +38,6 @@ class GeneratorOptions(object):
|
| self.type_registry = type_registry
|
| self.renamer = renamer
|
|
|
| -# TODO(vsm): Remove once we fix Dartium to pass in the database directly.
|
| -def Generate(database_dir, use_database_cache, dart2js_output_dir=None,
|
| - dartium_output_dir=None):
|
| - database = LoadDatabase(database_dir, use_database_cache)
|
| - GenerateFromDatabase(database, dart2js_output_dir, dartium_output_dir)
|
| -
|
| def LoadDatabase(database_dir, use_database_cache):
|
| common_database = database.Database(database_dir)
|
| if use_database_cache:
|
|
|