# HG changeset patch
# User jbe
# Date 1341351197 -7200
# Node ID 79bf3deefe2194fdfe0d93a8a3842961e7634675
# Parent  079fb18d9b5fca89f4a78d741ebdb80a1019f82d
Disable trace system for interactive (non-cgi) sessions

diff -r 079fb18d9b5f -r 79bf3deefe21 framework/cgi-bin/webmcp.lua
--- a/framework/cgi-bin/webmcp.lua	Thu Jun 28 03:37:57 2012 +0200
+++ b/framework/cgi-bin/webmcp.lua	Tue Jul 03 23:33:17 2012 +0200
@@ -56,11 +56,13 @@
 -- load random generator library
 multirand = require 'multirand'
 
--- load rocketcgi library and map it to cgi
+-- load rocketcgi library and map it to cgi, unless interactive,
+-- and disable trace system, if interactive (avoids memory leakage)
 do
   local option = os.getenv("WEBMCP_INTERACTIVE")
   if option and option ~= "" and option ~= "0" then
     cgi = nil
+    trace.disable()
   else
     rocketcgi = require 'rocketcgi'  -- TODO: no "rocketcgi" alias
     cgi = rocketcgi