Testing server PINGs

examples/websocket_html_root/ws.html

@@ -24,9 +24,10 @@
       out('DISCONNECTED');
     };
     websocket.onmessage = function(ev) {
+      if (!ev.data) return; // No data, this is a PING message, ignore it
       out('<span style="color: blue;">RESPONSE: ' + ev.data + ' </span>');
       num_messages++;
-      if (num_messages > 3) {
+      if (num_messages > 100) {
         websocket.send('exit');
       }
     };