Update control file wrt the new WebSocket functionality