| 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())
|
|
|