From e8114307ea979fadca4d2886bf922da16f7fc0a2 Mon Sep 17 00:00:00 2001 From: tomsmeding Date: Sat, 15 Apr 2017 16:12:52 +0200 Subject: webclient: Handle _push ping by doing nothing --- webclient/client.html | 2 ++ 1 file changed, 2 insertions(+) (limited to 'webclient/client.html') diff --git a/webclient/client.html b/webclient/client.html index 1219133..40d2df3 100644 --- a/webclient/client.html +++ b/webclient/client.html @@ -110,6 +110,8 @@ function reconnect(){ } else if(type=="join"){ var r=spl.word[2],u=spl.word[3]; addRoomEntry(r,"notice",[now(),"User '"+u+"' joined this room"]); + } else if(type=="ping"){ + // Do nothing } else { alert("Unknown push message type '"+type+"'!"); } -- cgit v1.2.3-54-g00ecf