Searched refs:index_html (Results 1 – 4 of 4) sorted by relevance
53 index_html = """ variable63 global index_html64 index_html += "<h1>%s</h1>\n" % name68 global index_html69 index_html += "<p><a href=\"%s\">%s</a></p>\n" % (74 global index_html75 index_html += "<p><pre>%s</pre></p>\n" % cgi.escape(txt)265 index_html += "</body>\n</html>\n"267 f.write(index_html)
52 index_html = """ variable62 global index_html63 index_html += "<h1>%s</h1>\n" % name67 global index_html68 index_html += "<p><a href=\"%s\">%s</a></p>\n" % (cgi.escape(73 global index_html74 index_html += "<p><pre>%s</pre></p>\n" % cgi.escape(txt)262 index_html += "</body>\n</html>\n"264 f.write(index_html)
116 index_html = f.read()119 index_html = re.sub(r"data-perfetto_version='[^']*'",121 index_html)122 f.write(index_html)
219 const index_html = () => { function234 addTask(index_html);