23 local cert_verify_identity = require "util.x509".verify_identity;

    23 local cert_verify_identity = require "util.x509".verify_identity;

    24 

    24 

    25 local commands = module:shared("commands")

    25 local commands = module:shared("commands")

    26 local def_env = module:shared("env");

    26 local def_env = module:shared("env");

    27 local default_env_mt = { __index = def_env };

    27 local default_env_mt = { __index = def_env };

    28 

    29 

    29 local function redirect_output(_G, session)

    30 local function redirect_output(_G, session)

    30 	local env = setmetatable({ print = session.print }, { __index = function (t, k) return rawget(_G, k); end });

    31 	local env = setmetatable({ print = session.print }, { __index = function (t, k) return rawget(_G, k); end });

    31 	env.dofile = function(name)

    32 	env.dofile = function(name)

    32 		local f, err = loadfile(name);

    33 		local f, err = loadfile(name);