webmcp

diff framework/cgi-bin/webmcp.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: 3d43a5cf17c1
children: ebdc20b7048b
     1.1 --- a/framework/cgi-bin/webmcp.lua	Sun Apr 15 16:04:33 2012 +0200
     1.2 +++ b/framework/cgi-bin/webmcp.lua	Tue Apr 17 15:20:42 2012 +0200
     1.3 @@ -387,7 +387,7 @@
     1.4  if not success then trace.error{} end
     1.5  
     1.6  -- laufzeitermittlung
     1.7 -trace.exectime{ real = os.monotonic_hires_time(), cpu = os.clock() }
     1.8 +trace.exectime{ real = extos.monotonic_hires_time(), cpu = os.clock() }
     1.9  
    1.10  slot.select('trace', trace.render)  -- render trace information
    1.11