From ed268053f3b534b58cf7b71adf95973b1c5992c4 Mon Sep 17 00:00:00 2001
From: or-else <or.else@gmail.com>
Date: Mon, 26 Mar 2018 19:46:13 -0700
Subject: [PATCH] bug fix: in some cases messges never marked as read

---
 index.html | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/index.html b/index.html
index 82888687..7f53e0a0 100644
--- a/index.html
+++ b/index.html
@@ -2992,6 +2992,10 @@
             scrollPosition: 0
           });
           tryToResubscribe = true;
+
+          // The user switched to the new topic before the timer for
+          // the previous topic has triggered, kill it.
+          clearTimeout(this.readTimer);
         }
 
         if (!topic.isSubscribed() && tryToResubscribe) {
@@ -3006,10 +3010,6 @@
               instance.props.onError(err.message, "err");
             });
         }
-
-        // The user switched to the new topic before the timer for
-        // the previous topic has triggered, kill it.
-        clearTimeout(this.readTimer);
       },
 
       leave: function() {
@@ -3610,7 +3610,7 @@
       handleConnected: function() {
         var params = Tinode.getServerInfo();
         this.setState({
-          serverVersion: params.ver + " (" + (params.build ? params.build : "none") + ")"
+          serverVersion: params.ver + " " + (params.build ? params.build : "none") + "; "
         });
         this.doLogin(this.state.login, this.state.password);
       },