Index: client/dom/scripts/dartdomgenerator.py |
diff --git a/client/dom/scripts/dartdomgenerator.py b/client/dom/scripts/dartdomgenerator.py |
index e7905f87c69f4cb1eed119008f6e59d1a1aea83f..7f6045b7e2900580ceded67b2941723d30dd55a9 100755 |
--- a/client/dom/scripts/dartdomgenerator.py |
+++ b/client/dom/scripts/dartdomgenerator.py |
@@ -31,9 +31,9 @@ _webkit_renames = { |
_webkit_renames_inverse = dict((v,k) for k, v in _webkit_renames.iteritems()) |
-def main(): |
+def GenerateDOM(): |
+ # TODO(sra): Make this entry point also generate HTML. |
current_dir = os.path.dirname(__file__) |
- logging.config.fileConfig(os.path.join(current_dir, 'logging.conf')) |
generator = dartgenerator.DartGenerator( |
auxiliary_dir=os.path.join(current_dir, '..', 'src'), |
@@ -88,5 +88,10 @@ def main(): |
target = os.path.join(lib_dir, DOM_LIBRARY) |
shutil.copyfile(default, target) |
+def main(): |
+ current_dir = os.path.dirname(__file__) |
+ logging.config.fileConfig(os.path.join(current_dir, 'logging.conf')) |
+ GenerateDOM() |
+ |
if __name__ == '__main__': |
sys.exit(main()) |