# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1444138059 -7200
# Node ID 861790282dda3fa61a2e8e8d8df3e3d6ace5bdf7
# Parent  7f76c77ddcb885260bbf3cb379d683bcf2b808e3
mod_websocket: Import util.timer and session close timeout config option (thanks fairuz)

diff -r 7f76c77ddcb8 -r 861790282dda plugins/mod_websocket.lua
--- 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