static void initWebSockets() {
  if (webSocketManager == null)
    webSocketManager = new WebSocketManager;
}