diff options
| author | tomsmeding <tom.smeding@gmail.com> | 2017-04-15 16:12:52 +0200 |
|---|---|---|
| committer | tomsmeding <tom.smeding@gmail.com> | 2017-04-15 16:12:52 +0200 |
| commit | e8114307ea979fadca4d2886bf922da16f7fc0a2 (patch) | |
| tree | 70018b531ea43411d31b05b888736bc135f03bc9 | |
| parent | 78302ce933693aca5740e6f901592b6f07f65342 (diff) | |
webclient: Handle _push ping by doing nothing
| -rw-r--r-- | webclient/client.html | 2 |
1 files changed, 2 insertions, 0 deletions
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+"'!"); } |