2011-06-07 13:26:45 +00:00
|
|
|
|
|
|
|
|
puts {
|
|
|
|
|
<!-- Start of footer -->
|
|
|
|
|
<div class=footer>
|
|
|
|
|
}
|
2011-06-09 21:16:30 +00:00
|
|
|
|
|
|
|
|
set rendertime [expr [expr [clock milliseconds] - $renderstart] / 1000.0]
|
|
|
|
|
|
|
|
|
|
puts "<font class=footnote>Rendered in: $rendertime seconds</font>"
|
|
|
|
|
|
2011-06-07 13:26:45 +00:00
|
|
|
puts {
|
|
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
</body>
|
|
|
|
|
</html>
|
|
|
|
|
}
|
|
|
|
|
|
