2011-12-18 WebSocketを使ったサーバプッシュ HTML5 遊びでHTML5についても少しずつ勉強。WebSocketを使うと、サーバからデータをプッシュすることができる。昔Cometを使ったことがあったけど、それに替わるものとして使い勝手がよさそう。