2012-05-30 19:51:20 +00:00
|
|
|
#!/mod/bin/jimsh
|
2011-06-07 13:26:45 +00:00
|
|
|
|
|
|
|
|
puts {
|
|
|
|
|
<!-- Start of footer -->
|
|
|
|
|
<div class=footer>
|
|
|
|
|
}
|
2011-06-09 21:16:30 +00:00
|
|
|
|
2012-06-03 20:12:31 +00:00
|
|
|
if {![catch {
|
|
|
|
|
set rendertime [expr [expr [clock milliseconds] - $renderstart] / 1000.0]
|
|
|
|
|
}]} {
|
|
|
|
|
puts "<font class=footnote>Rendered in: $rendertime seconds</font>"
|
|
|
|
|
}
|
2011-06-09 21:16:30 +00:00
|
|
|
|
2011-06-07 13:26:45 +00:00
|
|
|
puts {
|
|
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
</body>
|
|
|
|
|
</html>
|
|
|
|
|
}
|
|
|
|
|
|
