tools/code_coverage/coverage_utils.py
def WriteRedirectHtmlFile(from_html_path, to_html_path):
  """Writes a html file that redirects to another html file."""
  to_html_relative_path = GetRelativePathToDirectoryOfFile(
      to_html_path, from_html_path)
  content = ("""
    <!DOCTYPE html>
    <html>
      <head>
        <!-- HTML meta refresh URL redirection -->
        <meta http-equiv="refresh" content="0; url=%s">
      </head>
    </html>""" % to_html_relative_path)
  with open(from_html_path, 'w') as f:
    f.write(content)
Writes a html file that redirects to another html file.
Writes a html file that redirects to another html file.
Writes a html file that redirects to another html file .
def WriteRedirectHtmlFile(from_html_path, to_html_path):
  to_html_relative_path = GetRelativePathToDirectoryOfFile(
      to_html_path, from_html_path)
  content = ("""
    <!DOCTYPE html>
    <html>
      <head>
        <!-- HTML meta refresh URL redirection -->
        <meta http-equiv="refresh" content="0; url=%s">
      </head>
    </html>""" % to_html_relative_path)
  with open(from_html_path, 'w') as f:
    f.write(content)
def WriteRedirectHtmlFile ( from_html_path , to_html_path ) : to_html_relative_path = GetRelativePathToDirectoryOfFile ( to_html_path , from_html_path ) content = ( """
    <!DOCTYPE html>
    <html>
      <head>
        <!-- HTML meta refresh URL redirection -->
        <meta http-equiv="refresh" content="0; url=%s">
      </head>
    </html>""" % to_html_relative_path ) with open ( from_html_path , 'w' ) as f : f . write ( content )
Writes a html file that redirects to another html file.
Writes a html file that redirects to another html file .
"""Writes a html file that redirects to another html file."""
from_html_path
to_html_path