--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/DebugClients/Python3/coverage/htmlfiles/pyfile.html	Mon Dec 28 16:03:33 2009 +0000
@@ -0,0 +1,54 @@
+<!doctype html PUBLIC "-//W3C//DTD html 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
+<html>
+<head>
+<title>Coverage for {{cu.name|escape}}</title>
+<link rel='stylesheet' href='style.css' type='text/css'>
+<script src='jquery-1.3.2.min.js'></script>
+<script>
+function toggle_lines(btn, cls) {
+    var btn = $(btn);
+    if (btn.hasClass("hide")) {
+        $("#source ."+cls).removeClass("hide");
+        btn.removeClass("hide");
+    }
+    else {
+        $("#source ."+cls).addClass("hide");
+        btn.addClass("hide");
+    }
+}
+</script>
+</head>
+<body>
+<div id='header'>
+    <div class='content'>
+        <h1>Coverage for <b>{{cu.name|escape}}</b> :
+            <span class='pc_cov'>{{pc_cov|format_pct}}%</span>
+        </h1>
+        <h2 class='stats'>
+            {{n_stm}} statements
+            <span class='{{c_run.strip}}' onclick='toggle_lines(this, "run")'>{{n_run}} run</span>
+            <span class='{{c_exc.strip}}' onclick='toggle_lines(this, "exc")'>{{n_exc}} excluded</span>
+            <span class='{{c_mis.strip}}' onclick='toggle_lines(this, "mis")'>{{n_mis}} missing</span>
+        </h2>
+    </div>
+</div>
+
+<div id='source'>
+<table cellspacing='0' cellpadding='0'>
+<tr>
+<td class='linenos' valign='top'>
+    {% for line in lines %}
+    <p class='{{line.class}}'>{{line.number}}</p>
+    {% endfor %}
+</td>
+<td class='text' valign='top'>
+    {% for line in lines %}
+    <p class='{{line.class}}'>{{line.text.rstrip|escape|not_empty}}</p>
+    {% endfor %}
+</td>
+</tr>
+</table>
+</div>
+
+</body>
+</html>