webmcp

diff framework/env/trace/_render_sub_tree.lua @ 65:a54cc7dcabf1
"extos" library calls via "extos." instead of "os."
author: jbe
date: Tue Apr 17 15:20:42 2012 +0200 (2012-04-17)
parents: 3c12e7dd93e0
children: 0de41d8e2cf8
     1.1 --- a/framework/env/trace/_render_sub_tree.lua	Sun Apr 15 16:04:33 2012 +0200
     1.2 +++ b/framework/env/trace/_render_sub_tree.lua	Tue Apr 17 15:20:42 2012 +0200
     1.3 @@ -140,7 +140,7 @@
     1.4      open_head()
     1.5      slot.put(
     1.6        "Finished after " ..
     1.7 -      string.format("%.1f", os.monotonic_hires_time() * 1000) ..
     1.8 +      string.format("%.1f", extos.monotonic_hires_time() * 1000) ..
     1.9        ' ms (' ..
    1.10        string.format("%.1f", os.clock() * 1000) ..
    1.11        ' ms CPU)'