WebSocket server placeholder. Use Ratchet or Node.js websocket if you need realtime push.