From d061a82a132b797f37cb571daac7593f7ae1ec42 Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Wed, 28 Sep 2016 09:24:57 +0530
Subject: [PATCH] ...

---
 resources/content-server/autoreload.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/content-server/autoreload.js b/resources/content-server/autoreload.js
index b78bf65ebb..573cee5355 100644
--- a/resources/content-server/autoreload.js
+++ b/resources/content-server/autoreload.js
@@ -25,7 +25,7 @@
                 self.retries = 0;
                 self.opened_at_least_once = true;
                 self.interval = 100;
-                console.log('Connected to reloading WebSocket server at : ' + url);
+                console.log('Connected to reloading WebSocket server at: ' + url);
                 window.addEventListener('beforeunload', function (event) {
                     console.log('Shutting down connection to reload server, before page unload');
                     self.disable = true;