From 467f7a3273f52eb2818623b4d30d870c845870a3 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Tue, 27 Oct 2015 20:43:17 +0530 Subject: [PATCH] Only retry connecting to the reload server for a second The port changes when the reload server is restarted in any case, so no point trying to reconnect if the server has gone away. --- resources/content-server/autoreload.js | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/resources/content-server/autoreload.js b/resources/content-server/autoreload.js index 32990d3c5d..2050213384 100644 --- a/resources/content-server/autoreload.js +++ b/resources/content-server/autoreload.js @@ -8,6 +8,7 @@ (function(autoreload_port) { "use strict;"; var url = 'ws://127.0.0.1:' + autoreload_port; + var MAX_RETRIES = 10; function ReconnectingWebSocket() { self = this; @@ -31,10 +32,9 @@ self.ws.onclose = function(event) { console.log('Connection to reload server closed with code: ' + event.code + ' and reason: ' + event.reason); self.retries += 1; - if (self.retries < 60) { - self.interval *= 2; + if (self.retries < MAX_RETRIES) { setTimeout(self.reconnect, self.interval); - } + } else window.location.reload(true); }; }; self.reconnect();