Websockets

Want a websocket solution try pusher it is awesome, very simple to setup and use.

I used Java server side with the following lib https://github.com/SScheuermann/gae-java-libpusher

Push notifications made simple....