plugins/mod_websocket.lua
changeset 6896 861790282dda
parent 6796 2bf1b7e2149a
child 6897 f7203c7cb7ff
--- a/plugins/mod_websocket.lua	Fri Oct 02 12:16:47 2015 +0200
+++ b/plugins/mod_websocket.lua	Tue Oct 06 15:27:39 2015 +0200
@@ -7,6 +7,7 @@
 
 module:set_global();
 
+local add_task = require "util.timer".add_task;
 local add_filter = require "util.filters".add_filter;
 local sha1 = require "util.hashes".sha1;
 local base64 = require "util.encodings".base64.encode;
@@ -24,6 +25,7 @@
 
 local t_concat = table.concat;
 
+local stream_close_timeout = module:get_option_number("c2s_close_timeout", 5);
 local consider_websocket_secure = module:get_option_boolean("consider_websocket_secure");
 local cross_domain = module:get_option("cross_domain_websocket");
 if cross_domain then