2012-10-23 22:51:54 +00:00
|
|
|
#!/mod/bin/jimsh
|
|
|
|
|
|
2012-10-30 18:58:54 +00:00
|
|
|
puts {</div>}
|
2012-10-23 22:51:54 +00:00
|
|
|
|
2012-10-30 18:58:54 +00:00
|
|
|
if {!$_dialog} {
|
|
|
|
|
puts "<div data-role=footer data-theme=c>"
|
2012-10-23 22:51:54 +00:00
|
|
|
|
2012-10-30 18:58:54 +00:00
|
|
|
if {![catch {
|
|
|
|
|
set rendertime $(([clock milliseconds] - $renderstart) / 1000.0)
|
|
|
|
|
}]} {
|
|
|
|
|
puts "<font class=footnote>
|
|
|
|
|
Rendered in: $rendertime seconds</font>"
|
|
|
|
|
}
|
|
|
|
|
puts "</div>"
|
2012-10-23 22:51:54 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
puts {
|
|
|
|
|
</div>
|
|
|
|
|
</body>
|
|
|
|
|
</html>
|
|
|
|
|
}
|
|
|
|
|
|
