From f226549d4f8f258deca9e165ef857252b79d2ee0 Mon Sep 17 00:00:00 2001
From: Aleksander Machniak <alec@alec.pl>
Date: Mon, 12 Nov 2012 08:50:49 -0500
Subject: [PATCH] Renamed config options: keep_alive to refresh_interval, min_keep_alive to min_refresh_interval
---
program/js/app.js | 5 ++---
1 files changed, 2 insertions(+), 3 deletions(-)
diff --git a/program/js/app.js b/program/js/app.js
index 25fddf1..fb9c299 100644
--- a/program/js/app.js
+++ b/program/js/app.js
@@ -44,7 +44,6 @@
this.identifier_expr = new RegExp('[^0-9a-z\-_]', 'gi');
// default environment vars
- this.env.keep_alive = 60; // seconds
this.env.request_timeout = 180; // seconds
this.env.draft_autosave = 0; // seconds
this.env.comm_path = './';
@@ -6488,13 +6487,13 @@
// starts interval for refresh signal
this.start_refresh = function()
{
- if (!this.env.keep_alive || this.env.framed || this.env.extwin || this.task == 'login' || this.env.action == 'print')
+ if (!this.env.refresh_interval || this.env.framed || this.env.extwin || this.task == 'login' || this.env.action == 'print')
return;
if (this._refresh)
clearInterval(this._refresh);
- this._refresh = setInterval(function(){ ref.refresh(); }, this.env.keep_alive * 1000);
+ this._refresh = setInterval(function(){ ref.refresh(); }, this.env.refresh_interval * 1000);
};
// sends keep-alive signal
--
Gitblit v1.9.1