| Index: remoting/tools/htmlcompile.py
|
| diff --git a/remoting/tools/htmlcompile.py b/remoting/tools/htmlcompile.py
|
| deleted file mode 100755
|
| index 9fcb5a7ee84d841284dc27016465071d96b1fe28..0000000000000000000000000000000000000000
|
| --- a/remoting/tools/htmlcompile.py
|
| +++ /dev/null
|
| @@ -1,79 +0,0 @@
|
| -#!/usr/bin/python
|
| -# Copyright 2014 The Chromium Authors. All rights reserved.
|
| -# Use of this source code is governed by a BSD-style license that can be
|
| -# found in the LICENSE file.
|
| -
|
| -import argparse
|
| -from HTMLParser import HTMLParser
|
| -import subprocess
|
| -import sys
|
| -import os
|
| -
|
| -DESCRIPTION = '''Extract the <script> tags from the specified html file and
|
| -run them through jscompile, along with any additional JS files specified.'''
|
| -FILES_HELP = '''A list of HTML or Javascript files. The Javascript files should
|
| -contain definitions of types or functions that are known to Chrome but not to
|
| -jscompile; they are added to the list of <script> tags found in each of the
|
| -HTML files.'''
|
| -STAMP_HELP = 'Timestamp file to update on success.'
|
| -
|
| -class ScriptTagParser(HTMLParser):
|
| - def __init__(self):
|
| - HTMLParser.__init__(self)
|
| - self.scripts = []
|
| -
|
| - def handle_starttag(self, tag, attrs):
|
| - if tag == 'script':
|
| - for (name, value) in attrs:
|
| - if name == 'src':
|
| - self.scripts.append(value)
|
| -
|
| -
|
| -def parseHtml(html_file, js_proto_files):
|
| - src_dir = os.path.split(html_file)[0]
|
| - f = open(html_file, 'r')
|
| - html = f.read()
|
| - parser = ScriptTagParser();
|
| - parser.feed(html)
|
| - scripts = []
|
| - for script in parser.scripts:
|
| - # Ignore non-local scripts
|
| - if not '://' in script:
|
| - scripts.append(os.path.join(src_dir, script))
|
| -
|
| - args = ['jscompile'] + scripts + js_proto_files
|
| - result = subprocess.call(args)
|
| - return result == 0
|
| -
|
| -
|
| -def main():
|
| - parser = argparse.ArgumentParser(description = DESCRIPTION)
|
| - parser.add_argument('files', nargs = '+', help = FILES_HELP)
|
| - parser.add_argument('--success-stamp', dest = 'success_stamp',
|
| - help = STAMP_HELP)
|
| - options = parser.parse_args()
|
| -
|
| - html = []
|
| - js = []
|
| - for file in options.files:
|
| - name, extension = os.path.splitext(file)
|
| - if extension == '.html':
|
| - html.append(file)
|
| - elif extension == '.js':
|
| - js.append(file)
|
| - else:
|
| - print >> sys.stderr, 'Unknown extension (' + extension + ') for ' + file
|
| - return 1
|
| -
|
| - for html_file in html:
|
| - if not parseHtml(html_file, js):
|
| - return 1
|
| -
|
| - if options.success_stamp:
|
| - with open(options.success_stamp, 'w'):
|
| - os.utime(options.success_stamp, None)
|
| -
|
| - return 0
|
| -
|
| -if __name__ == '__main__':
|
| - sys.exit(main())
|
|
|