| OLD | NEW |
|---|
| 1 #!/usr/bin/python | 1 #!/usr/bin/python |
| 2 # Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file | 2 # Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file |
| 3 # for details. All rights reserved. Use of this source code is governed by a | 3 # for details. All rights reserved. Use of this source code is governed by a |
| 4 # BSD-style license that can be found in the LICENSE file. | 4 # BSD-style license that can be found in the LICENSE file. |
| 5 | 5 |
| 6 """This is the entry point to create Dart APIs from the IDL database.""" | 6 """This is the entry point to create Dart APIs from the IDL database.""" |
| 7 | 7 |
| 8 import dartgenerator | 8 import dartgenerator |
| 9 import database | 9 import database |
| 10 import logging.config | 10 import logging.config |
| (...skipping 71 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 82 common_prefix = 'common', | 82 common_prefix = 'common', |
| 83 super_map = _webkit_renames_inverse) | 83 super_map = _webkit_renames_inverse) |
| 84 | 84 |
| 85 generator.Flush() | 85 generator.Flush() |
| 86 | 86 |
| 87 # Install default DOM library. | 87 # Install default DOM library. |
| 88 default = os.path.join(lib_dir, DOM_DEFAULT_LIBRARY) | 88 default = os.path.join(lib_dir, DOM_DEFAULT_LIBRARY) |
| 89 target = os.path.join(lib_dir, DOM_LIBRARY) | 89 target = os.path.join(lib_dir, DOM_LIBRARY) |
| 90 shutil.copyfile(default, target) | 90 shutil.copyfile(default, target) |
| 91 | 91 |
| 92 # Remove monkey_dom.dart | |
| 93 os.rename('../monkey_dom.dart', '../monkey_dom.dart.broken') | |
| 94 | |
| 95 if __name__ == '__main__': | 92 if __name__ == '__main__': |
| 96 sys.exit(main()) | 93 sys.exit(main()) |
| OLD | NEW |
|---|
Chromium Code Reviews
Issue 9114019:
Remove monkey_dom. (Closed)
Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart