diff options
| -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+"'!"); } |